3 commits

Author	SHA1	Message	Date
Fred Drake	c113745498	For verbatim text, don't bounce down a size.	1998-03-05 17:00:55 +00:00
Fred Drake	2da947af87	Comment out the attempt to get index-related stuff processed in the right ... order. LaTeX2HTML just doesn't do things the same way as LaTeX, and this wasn't the fix. Simplify the generated HTML for \file{}. For \samp{}, use "..." instead of `...'; many fonts make that look pretty bad. ;-(	1998-03-04 05:30:49 +00:00
Fred Drake	6659c30b67	Convert LaTeX support to create a new class of documents. HTML generation ... now requires LaTeX2HTML 98.1p1 or newer (& and is still in progress). This means that doing things to change the formatting of the manuals (at the "normal user" level, like A4 paper), can happen in just one place, rather than in each document file.	1998-03-03 22:02:19 +00:00