.

2025-07-09 17:34:25 +02:00
parent 52792e5e90
commit 74f7ba32f6
1 changed files with 1 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@@ -9,7 +9,7 @@
 (define scribblings
  '(
    ("scribblings/roos.scrbl" (multi-page) (library) "roos")
-    ("scribblings/class.scrbl" (multi-page) (library) "roos/class")
+    ("scribblings/class.scrbl" (multi-page) (library) "roos-class")
    )
  )