diff --git a/doc/Makefile b/doc/Makefile
index dcfb826731a1a5ae8b0c1d24cb8ae2d9900d29d3..eb1701ce06a2f852a64ea4f1ff5ef4de171a9b67 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
PYTHON = /usr/bin/python2
-STXTOHTML = -c "from docutils.core import publish;publish(writer_name='html')"
+STXTOHTML = stx2html
SOURCE = announcement.txt customizing.txt developers.txt FAQ.txt features.txt \
glossary.txt implementation.txt index.txt design.txt \
all: ${COMPILED}
%.html: %.txt
- ${PYTHON} ${STXTOHTML} --report=warning -d $< $@
+ ${STXTOHTML} --report=warning -d $< $@
clean:
rm -f ${COMPILED}