diff -r a8e7dffdb19a -r 7f89e01d5a6f doc/book/en/makefile
--- a/doc/book/en/makefile	Wed Jan 12 09:22:38 2011 +0100
+++ b/doc/book/en/makefile	Wed Jan 12 14:57:31 2011 +0100
@@ -1,10 +1,5 @@
-MKHTML=mkdoc
-MKHTMLOPTS=--doctype article --target html --stylesheet standard
 SRC=.
 
-TXTFILES:= $(wildcard *.txt)
-TARGET := $(TXTFILES:.txt=.html)
-
 # You can set these sphinx variables from the command line.
 SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
@@ -41,10 +36,7 @@
 	-rm -rf ${BUILDDIR}/*
 	-rm -rf ${BUILDJS}
 
-all: ${TARGET} html
-
-%.html: %.txt
-	${MKHTML} ${MKHTMLOPTS} $<
+all: html
 
 # run sphinx ###
 html: js