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