On Sun, May 15, 2011 at 9:25 PM, Prabhakar Ragde <plra...@uwaterloo.ca> wrote: > On 5/15/11 9:44 PM, Matthew Flatt wrote: > >> Yes, Check Syntax should be there. More importantly, you should see >> buttons to generate HTML and PDF. >> >> If you open the document source again in DrRacket, do the buttons >> appear? Does editing and reverting the `#lang' line make them appear? > > That did it. Thanks. I should have realized that it would be bound to the > #lang line, not the file extension.
FWIW, this is a bug that's been around for a while that is completely frustrating. I took another look just now and thought of a fix that, in retrospect, seems like completely obvious thing to try, and also possibly promising. I've pushed a fix. Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
