[plt-scheme] Bug in helpdesk ?
Hello,
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 :)
mvg,
Kim