From 85bf23ecf5f08698e05634190a909a826aca560b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 3 Mar 2008 22:04:28 +0000 Subject: [PATCH] revise the way setup-plt crawls over the collection trees svn: r8860 original commit: b76390a4523dd523febeab8f432f0341b6a2d040 --- collects/parser-tools/info.ss | 2 ++ 1 file changed, 2 insertions(+) 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"))