[racket] a couple of trivial Scribble questions

On Sun, May 15, 2011 at 9:25 PM, Prabhakar Ragde <plragde at 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