.

2025-07-09 18:13:15 +02:00
parent a98550032d
commit cdd98ee5f6
1 changed files with 2 additions and 2 deletions
--- a/info.rkt
+++ b/info.rkt
@@ -8,8 +8,8 @@

 (define scribblings
  '(
-    ("scribblings/roos.scrbl" (one-page) (library) "roos")
-    ("scribblings/class.scrbl" (one-page) (library) "roos-class")
+    ("scribblings/roos.scrbl" () (library) "roos")
+    ("scribblings/class.scrbl" () (library interop) "roos-class")
    )
  )