diff --git a/collects/scribble/README b/collects/scribble/README deleted file mode 100644 index b79e65c5fa..0000000000 --- a/collects/scribble/README +++ /dev/null @@ -1 +0,0 @@ -This collect contains the implementation of scribble. diff --git a/collects/scribble/info.rkt b/collects/scribble/info.rkt index 5d0130f022..d7c2e67a45 100644 --- a/collects/scribble/info.rkt +++ b/collects/scribble/info.rkt @@ -7,3 +7,4 @@ (define raco-commands '(("scribble" scribble/run "render a Scribble document" #f))) +(define purpose "This collect contains the implementation of scribble.") diff --git a/collects/scribblings/README b/collects/scribblings/README deleted file mode 100644 index 5b0714e721..0000000000 --- a/collects/scribblings/README +++ /dev/null @@ -1 +0,0 @@ -This collect contains documentation for most of the core system (guide, reference, htdp langs, etc). diff --git a/collects/scribblings/info.rkt b/collects/scribblings/info.rkt index 8899ff961b..3ffe4b2b2b 100644 --- a/collects/scribblings/info.rkt +++ b/collects/scribblings/info.rkt @@ -1,3 +1,4 @@ #lang setup/infotab (define name "Documentation Sources") +(define purpose "This collect contains documentation for most of the core system (guide, reference, htdp langs, etc).") diff --git a/collects/scriblib/README b/collects/scriblib/README deleted file mode 100644 index 07707a08da..0000000000 --- a/collects/scriblib/README +++ /dev/null @@ -1 +0,0 @@ -This collect contains auxiliary scribble libraries, they have their own documentation linked from the top level. diff --git a/collects/scriblib/info.rkt b/collects/scriblib/info.rkt new file mode 100644 index 0000000000..69062dd5d2 --- /dev/null +++ b/collects/scriblib/info.rkt @@ -0,0 +1,3 @@ +#lang setup/infotab + +(define purpose "This collect contains auxiliary scribble libraries, they have their own documentation linked from the top level.")