--- /dev/null
+# ------------------------------------------------------------------------
+# Makefile for HTML files
+# ------------------------------------------------------------------------
+
+include ../win/makedefs
+
+srcdir = .
+
+instdirs = $(prefix) $(libdir) $(scriptdir) $(scriptdir)/html
+
+all:
+
+install: install-dirs install-html
+
+install-dirs:
+ @for i in $(instdirs) ; do \
+ if test -d "$$i" ; then : ; else \
+ echo "mkdir $$i" ; \
+ mkdir "$$i" ; \
+ fi ; \
+ done
+
+install-html: install-dirs
+ for i in $(srcdir)/*.html ; do \
+ $(RM) $(scriptdir)/html/$$i ; \
+ $(INSTALL_DATA) $(srcdir)/$$i $(scriptdir)/html ; \
+ done
+
+clean:
+ $(RM) $(srcdir)/*.bak $(srcdir)/*\~ $(srcdir)/"#"*
+
+distclean: clean
+ $(RM) Makefile