diff --git a/collects/embedded-gui/private/info.ss b/collects/embedded-gui/private/info.ss deleted file mode 100644 index 865edce150..0000000000 --- a/collects/embedded-gui/private/info.ss +++ /dev/null @@ -1,3 +0,0 @@ -#lang setup/infotab - -(define compile-omit-paths '("tests")) diff --git a/collects/embedded-gui/private/tests/info.ss b/collects/embedded-gui/private/tests/info.ss new file mode 100644 index 0000000000..a073420a94 --- /dev/null +++ b/collects/embedded-gui/private/tests/info.ss @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define compile-omit-paths 'all) diff --git a/collects/parser-tools/info.ss b/collects/parser-tools/info.ss index 30abfe2246..9a0b87d84d 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)))) diff --git a/collects/parser-tools/private-lex/info.ss b/collects/parser-tools/private-lex/info.ss deleted file mode 100644 index 4be81f783d..0000000000 --- a/collects/parser-tools/private-lex/info.ss +++ /dev/null @@ -1,3 +0,0 @@ -#lang setup/infotab - -(define compile-omit-paths '("error-tests.ss"))