[racket] a couple of trivial Scribble questions

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun May 15 22:49:05 EDT 2011

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

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.


Posted on the users mailing list.