[racket-dev] Scribble does not complain when @tech{term} is used but not defined

Is there a subtle reason to not error? I've just seeded a file with a
lot of @tech{} uses and I was hoping to get a big list of errors as a
to-define list.

I looked at the code and found a commented-out error printing in the
HTML renderer. I think it would be great to re-enable it, perhaps with
a command line flag for the original objector?

What's the scoop?

Jay

-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93