Fix scribblings info

3 years ago · bbbd2fb9b1
parent 691a084232
commit bbbd2fb9b1
1 changed files with 1 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@ -6,7 +6,7 @@

 (define scribblings
  '(("yaragg.scrbl" (multi-page) (parsing-library))
-    ("parser-tools.scrbl" (multi-page) (parsing-library))))
+    ("yaragg-parser-tools.scrbl" (multi-page) (parsing-library))))


 (define deps '(["base" #:version "6.3"]