.

2025-07-09 18:10:45 +02:00
parent 52982b2ef4
commit a98550032d
2 changed files with 3 additions and 3 deletions
--- a/info.rkt
+++ b/info.rkt
@@ -8,8 +8,8 @@

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