diff --git a/doc/Makefile b/doc/Makefile
index dcfb826731a1a5ae8b0c1d24cb8ae2d9900d29d3..b059b71a512a5a5b8bde023c7b8067692ecd5b2d 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
PYTHON = /usr/bin/python2
-STXTOHTML = -c "from docutils.core import publish;publish(writer_name='html')"
+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 maintenance.txt \
+ postgresql.txt
COMPILED := $(SOURCE:.txt=.html)
all: ${COMPILED}
%.html: %.txt
- ${PYTHON} ${STXTOHTML} --report=warning -d $< $@
+ ${STXTOHTML} --report=warning -d $< $@
clean:
rm -f ${COMPILED}