[plt-scheme] New Help Desk

From: Daniel Silva (dansilva at lynx.dac.neu.edu)
Date: Tue Jul 2 14:13:10 EDT 2002

Does the PLT web-server support directory names with spaces yet?
When I was using it a month or two ago I could make an anchor with `(a
(["href" "my dir/blah.html"]) "link") and have blah.html inside a dir
called "my%20dir" but not if the dir was called "my dir".  Am I not
supposed to have folders with spaces in the name?

Daniel Silva
dsilva at ccs.neu.edu

> -----Original Message-----
> From: plt-scheme-admin at tux.cs.brown.edu [mailto:plt-scheme-
> admin at tux.cs.brown.edu] On Behalf Of Paul Steckler
> Sent: Tuesday, July 02, 2002 12:46 PM
> To: plt-scheme at tux.cs.brown.edu
> Subject: [plt-scheme] New Help Desk
> [Please handle PLT Scheme list administrative tasks through the Web:
>    http://list.cs.brown.edu/mailman/listinfo/plt-scheme]
> I've committed and exp-tagged files for the new PLT Help Desk.  The
> files are located in the help collection.
> The new Help Desk uses the PLT Web server and your favorite Web
> instead of relying on the PLT browser.
> We're making this change because the PLT Web browser supports only a
> limited subset of HTML, restricting what we can put into Help Desk.
> Also, content on Web sites linked in Help Desk didn't always render
> in the PLT browser.
> As before, Help Desk can be started with a launcher or from DrScheme.
> The new launcher uses MzScheme, instead of MrEd, so you should delete
> your old launcher.  Running Setup will build the new launcher.
> With the old Help Desk, you had to obtain new Help Desk content by
> deleting plt/collects/doc/help/, and downloading a .plt file.  With
> new Help Desk, you just update the help collection, and run setup on
> that collection.
> WARNING: the "CVS refresh manuals" link on the manuals page doesn't
> properly yet.  There are some changes that need to be made to the Web
> server.  I expect those changes will be in place within the next
> of weeks.
> Please let me know if you have any difficulties with this new code.
> -- Paul

Posted on the users mailing list.