diff --git a/collects/scribble/info.ss b/collects/scribble/info.ss index eb45b45d..805d59f0 100644 --- a/collects/scribble/info.ss +++ b/collects/scribble/info.ss @@ -1,6 +1,5 @@ #lang setup/infotab -(define name "Scribble") (define mzscheme-launcher-names '("scribble")) (define mzscheme-launcher-libraries '("scribble.ss")) (define compile-omit-files '("test-reader.ss")) diff --git a/collects/scribblings/scribble/info.ss b/collects/scribblings/scribble/info.ss index 933d3c25..ddd6ca1f 100644 --- a/collects/scribblings/scribble/info.ss +++ b/collects/scribblings/scribble/info.ss @@ -1,5 +1,4 @@ #lang setup/infotab -(define name "Scribblings: Scribble") (define scribblings '(("scribble.scrbl" (multi-page)))) (define doc-categories '(tool))