[racket-dev] Documentation problem

>
>
> Did you use `raco docs' to open the documentation page?
>

No.

All I did was to access the Help Desk from DrRacket's Help menu.

BTW, this is a fresh install, after uninstalling the previous version.

I can see the wrong links in the file index.html, in
AppData/Roaming/Racket/5.3.0.11/doc/

Best,
António.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20120624/67103bf4/attachment.html>