New rule to make html-doc.

diff --git a/doc/Makefile b/doc/Makefile
index 65accec..1457cd1 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile,v 1.1 1995-05-30 10:59:20 adam Exp $
+# $Id: Makefile,v 1.2 1995-05-31 08:37:01 adam Exp $
 all: -tcl.ps ir-tcl.txt
 
 ir-tcl.txt: ir-tcl.sgml
@@ -11,6 +11,12 @@ ir-tcl.ps: ir-tcl.sgml
        sgml-format ir-tcl| qtex -x
        mv out.ps ir-tcl.ps
 
+ir-tcl.html: ir-tcl.sgml
+       sgml-format -T html ir-tcl | prehtml | fixref >tmp.html
+       sgml-format -T html ir-tcl | prehtml >>tmp.html
+       html2html ir-tcl <tmp.html >ir-tcl.html
+       rm tmp.html
+
 clean:
        rm -f [0-9]* *.bak