.

2025-07-09 18:13:53 +02:00
parent cdd98ee5f6
commit a190b320b2
1 changed files with 1 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@@ -9,7 +9,7 @@
 (define scribblings
  '(
    ("scribblings/roos.scrbl" () (library) "roos")
-    ("scribblings/class.scrbl" () (library interop) "roos-class")
+    ("scribblings/class.scrbl" () (interop) "roos-class")
    )
  )