From 2ff737514b1693bdecd927ccec63e922fc9a5001 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 29 Sep 2005 15:48:54 +0000 Subject: [PATCH] removed stay character svn: r935 --- collects/help/doc.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/doc.txt b/collects/help/doc.txt index 300b07f817..90a76a8b9d 100644 --- a/collects/help/doc.txt +++ b/collects/help/doc.txt @@ -294,7 +294,7 @@ Help Desk looks for html documentation in two places: 1) If an info.ss file defines _'html-docs_ to be a list of path strings, Help Desk looks inside those directories for html documentation (the paths are treated as - relative to the location of the info.ss file)Ï + relative to the location of the info.ss file) 2) Help Desk also looks inside each sub-directory in any `doc' collection (Help Desk searches all doc