--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile	Mon Jun 24 23:06:58 2002 +0000
@@ -0,0 +1,14 @@
+PYTHON = /usr/bin/python2
+STXTOHTML = -c "from docutils.core import publish;publish(writer_name='html')"
+
+SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
+    getting_started.txt glossary.txt implementation.txt index.txt \
+    installation.txt security.txt upgrading.txt user_guide.txt
+
+COMPILED := $(SOURCE:.txt=.html)
+
+all: ${COMPILED}
+
+%.html: %.txt
+	${PYTHON} ${STXTOHTML} -d -v $< $@
+