[plt-scheme] Bug in helpdesk ?

From: Kim Gybels (kgybels at igwe.vub.ac.be)
Date: Tue Jan 25 13:05:44 EST 2005


I am trying to add some documentation files to drscheme for our Pico
language plugin. I have set it up so that the "pico" manual is
searched when the language Pico is selected.
I have installed the documentation for one user (so under linux this
is something like: ~/.plt-scheme/209/collects/doc/pico).

When I search things I get results back. Now the problem is that when
I click on a result, the browser tells me he cant find the file. This
is what happens for "*.html" files. If I rename it to "*.htm", the
browser shows me the files but without layout (with the tags still
showing etc.). If I manually type the URL in,  the page shows just fine. 
Also when I move all the documentation to the plt-home (for all users), it works fine.

I am a bit confused now, to say the least :)


Posted on the users mailing list.