Sub-makefile that can be used to drive the HTML conversion from this subdir.
Most of the logic is still in the primary Makefile and a new script in
Doc/tools/.
diff --git a/Doc/html/Makefile b/Doc/html/Makefile
new file mode 100644
index 0000000..5973154
--- /dev/null
+++ b/Doc/html/Makefile
@@ -0,0 +1,34 @@
+# Convenience Makefile for building HTML documentation. You probably need to
+# set TEXINPUTS from the command line for this to be useful, unless you
+# actually build the .dvi files in the top level directory.
+#
+# Note that the .dvi files must already be built and TEXINPUTS must include the
+# directory where latex's working files (esp. *.aux) are kept.
+
+TEXINPUTS=..:../texinputs
+
+all: icons l2h
+
+l2h: l2hapi l2hext l2hlib l2href l2htut
+
+l2hapi:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2hapi
+
+l2hext:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2hext
+
+l2hlib:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2hlib
+
+l2href:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2href
+
+l2htut:
+ $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2htut
+
+tarhtml:
+ $(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml
+
+icons:
+ mkdir icons
+ cp ../icons/*.gif icons/