diff --git a/doc/Makefile b/doc/Makefile index d97c355d5..d747fe758 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -94,8 +94,8 @@ latex: $(LATEX) csplit -s -f $@ $@01 '/<\/body>/' mv $@00 $@ rm $@01 -%.html: %.mdwn header.html footer.html Makefile - $(PANDOC) -s --toc -f markdown -o $@ header.html $< footer.html +%.html: %.mdwn Makefile + $(PANDOC) -s --toc -f markdown -o $@ $< hacking.html: hacking.mdwn ../TODO Makefile $(PANDOC) -s --toc -o $@ -f markdown hacking.mdwn ../TODO diff --git a/doc/footer.html b/doc/footer.html deleted file mode 100644 index e69de29bb..000000000 diff --git a/doc/header.html b/doc/header.html deleted file mode 100644 index e69de29bb..000000000