diff --git a/collects/parser-tools/info.ss b/collects/parser-tools/info.ss index 9062091..0831748 100644 --- a/collects/parser-tools/info.ss +++ b/collects/parser-tools/info.ss @@ -1,5 +1,5 @@ #lang setup/infotab -(define scribblings '(("parser-tools.scrbl" (multi-page)))) +(define scribblings '(("parser-tools.scrbl" (multi-page) (parsing-library)))) (define compile-omit-paths '("examples"))