From 4e1eed718b89200728db7cd5d27f4242a58a7efd Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 19 Aug 2008 10:32:18 +0000 Subject: [PATCH] some info tweaks svn: r11325 original commit: c23d1e7d83f597e63624985164e1adbfbeefaffa --- 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 30abfe2..9a0b87d 100644 --- a/collects/parser-tools/info.ss +++ b/collects/parser-tools/info.ss @@ -1,3 +1,5 @@ #lang setup/infotab +(define compile-omit-paths '("private-lex/error-tests.ss")) + (define scribblings '(("parser-tools.scrbl" (multi-page) (parsing-library))))