diff --git a/collects/help/doc.txt b/collects/help/doc.txt index ee9062ce62..c0033b751c 100644 --- a/collects/help/doc.txt +++ b/collects/help/doc.txt @@ -300,7 +300,7 @@ Help Desk looks for html documentation in two places: `doc' collection (Help Desk searches all doc collections, not just the first one, unlike `collection-path'). For example, the MzScheme manual is - in the directory plt/collects/doc/mzscheme. + in the directory plt/doc/mzscheme. The starting point for each manual must be called either: @@ -336,7 +336,7 @@ five values: * page title - a string presenting the title of the HTML page, e.g., "List Procedures" -See plt/collects/doc/mzscheme/keywords for an example. +See plt/doc/mzscheme/keywords for an example. The _"hdindex"_ File - - - - - - - - - - @@ -355,7 +355,7 @@ Each index entry is a list of four strings: * page title - the title of the HTML page, e.g., "How to Create Help Desk Documents" -See plt/collects/doc/mzscheme/hdindex for an example. +See plt/doc/mzscheme/hdindex for an example. The _'blurb field_ of the _info.ss_ file