--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Thu Jan 09 22:59:22 2003 +0000
@@ -0,0 +1,16 @@
+PYTHON = /usr/bin/python2
+STXTOHTML = stx2html
+
+SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
+    glossary.txt implementation.txt index.txt design.txt \
+    installation.txt upgrading.txt user_guide.txt maintenance.txt
+
+COMPILED := $(SOURCE:.txt=.html)
+
+all: ${COMPILED}
+
+%.html: %.txt
+	${STXTOHTML} --report=warning -d $< $@
+
+clean:
+	rm -f ${COMPILED}