Re: [racket-dev] Documentation problem

2012-06-25 Thread Antonio Menezes Leitao
> > > 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/

Re: [racket-dev] Documentation problem

2012-06-23 Thread Eli Barzilay
Yesterday, Antonio Menezes Leitao wrote: > Hi, > > Recent nightly builds (e.g., for 5.3.0.10 or 5.3.0.11) install > documentation files that incorrectly point to 5.3.0.4 files. > > This is visible after accessing the Help Desk: the page says it's > for version 5.3.0.4 and clicking on any of the l

[racket-dev] Documentation problem

2012-06-23 Thread Antonio Menezes Leitao
Hi, Recent nightly builds (e.g., for 5.3.0.10 or 5.3.0.11) install documentation files that incorrectly point to 5.3.0.4 files. This is visible after accessing the Help Desk: the page says it's for version 5.3.0.4 and clicking on any of the links will show the problem. Best, António. __