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