Re: [racket-dev] Bug report lost? Here it is again: Issue with help

2014-02-01 Thread Greg Hendershott
OK this is weird. I downloaded 5.93. Started DrRacket 5.93. Hit F1. It went to the page with the new CSS present. Figured problem was fixed. \o/ BUT: Ran `raco pkg install` for a dozen packages: some from pkgs.r-l.org, some local --link. And now, the problem has returned. Hit F1. It goes to page t

Re: [racket-dev] Bug report lost? Here it is again: Issue with help

2014-02-01 Thread Matthew Flatt
I can see how that could happen. When you first install, the only documentation page is in the main installation. After you install some packages (in user scope), then there will be a more specific documentation page in a user-specific location. It sounds like the CSS file is not properly installed