1 files changed, 12 insertions, 0 deletions

diff --git a/docs/usermanual/Makefile b/docs/usermanual/Makefile
new file mode 100644
index 0000000..3242e5a
--- a/dev/null
+++ b/docs/usermanual/Makefile
@@ -0,0 +1,12 @@
+all: html
+
+DOC := usermanual
+
+html:
+        sgmltools -b html -s stylesheet-html.dsl $(DOC).sgm
+        mv -f $(DOC)/*.html .
+        rmdir $(DOC)
+        ln -sf book1.html index.html
+
+clean:
+        rm -f *.html