diff --git a/doc/Makefile b/doc/Makefile
index eb1701ce06a2f852a64ea4f1ff5ef4de171a9b67..e17fbd9b8f8a4806f83bad82f2cceede3af560e3 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
PYTHON = /usr/bin/python2
-STXTOHTML = stx2html
+STXTOHTML = rst2html
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
+ 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
COMPILED := $(SOURCE:.txt=.html)