[Remove support for HTML (keeping XHTML and latex) in AddLinks prog.
Duncan Coutts <duncan@coutts.uklinux.net>**20061125013845] hunk ./docs/tools/AddLinks.hs 45
-                    ("html":_) -> HTML
hunk ./docs/tools/AddLinks.hs 92
-data DocType = LaTeX | XHTML | HTML
+data DocType = LaTeX | XHTML
hunk ./docs/tools/AddLinks.hs 109
-        substNormal  HTML ("<":"pre":">":('\n':s)
-                          :ts) = let (codeArea, ts') = findCodeArea dt (s:ts)
-                                  in "<pre>"
-                                   : substCodeArea dt codeArea
-                                  ++ "</pre>"
-                                   : substNormal dt ts'
hunk ./docs/tools/AddLinks.hs 113
-        findCodeArea  HTML ("</":"pre":">"               :ts) = ([], ts)
hunk ./docs/tools/AddLinks.hs 118
-        substCodeArea  HTML = map (\s -> renderTag dt (classifyToken s) (addLinks dt s)) . glue
hunk ./docs/tools/AddLinks.hs 127
-        addLinks  HTML str | Just modName <- conc str = "<a href=\""
-                                           ++ haddockUrl baseUrl modName str
-                                           ++ "\">" ++ str ++ "</a>"
hunk ./docs/tools/AddLinks.hs 238
-renderTag HTML Keyword    = tag "strong"
-renderTag HTML Keyglyph   = tag "strong"
-renderTag HTML Layout     = id
-renderTag HTML Comment    = tag "emphasis"
-renderTag HTML ConId      = id
-renderTag HTML VarId      = id
-renderTag HTML ConOp      = id
-renderTag HTML VarOp      = id
-renderTag HTML String     = id
-renderTag HTML Char       = id
-renderTag HTML Number     = id
-renderTag HTML Selection  = id
-