diff --git a/doc/Makefile b/doc/Makefile
index e17fbd9b8f8a4806f83bad82f2cceede3af560e3..88312c7af7a09a9617509c51a7a219292432306e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
-PYTHON = /usr/bin/python2
-STXTOHTML = rst2html
+STXTOHTML = rst2html.py
+STXTOHT = rst2ht.py
+WEBDIR = ../../htdocs/htdocs/doc-1.0
SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
glossary.txt implementation.txt index.txt design.txt mysql.txt \
installation.txt upgrading.txt user_guide.txt admin_guide.txt \
- postgresql.txt tracker_templates.txt whatsnew-0.7.txt
+ postgresql.txt tracker_templates.txt xmlrpc.txt
COMPILED := $(SOURCE:.txt=.html)
+WEBHT := $(SOURCE:.txt=.ht)
-all: ${COMPILED}
+all: html ht
+html: ${COMPILED}
+ht: ${WEBHT}
+
+website: ${WEBHT}
+ cp *.ht ${WEBDIR}
+ cp -r images ${WEBDIR}
%.html: %.txt
${STXTOHTML} --report=warning -d $< $@
+%.ht: %.txt
+ ${STXTOHT} --report=warning -d $< $@
+
clean:
rm -f ${COMPILED}