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.

1 files changed, 1 insertions, 2 deletions

diff --git a/Doc/ext/ext.tex b/Doc/ext/ext.tex
index 729f5d1344..a4a7490d1a 100644
--- a/Doc/ext/ext.tex
+++ b/Doc/ext/ext.tex
@@ -1,5 +1,4 @@
-\documentclass[twoside,openright]{report}
-\usepackage{myformat}
+\documentclass{manual}
 
 % XXX PM Modulator