goa/doc/devmanual_fr/makefile
changeset 6366 1806148d6ce8
parent 6333 e3994fcc21c3
parent 6365 a15cc5e16178
child 6367 d4c485ec1ca1
--- a/goa/doc/devmanual_fr/makefile	Thu Sep 23 23:28:58 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-MKHTMLOPTS=--doctype book --param toc.section.depth=1  --target html --stylesheet single-file
-SRC=.
-
-MKPDFOPTS=--doctype book --param toc.section.depth=2  --target pdf --stylesheet standard
-
-TXTFILES:= $(wildcard *.txt)
-TARGET := $(TXTFILES:.txt=.html)
-
-all: index.html
-
-index.html: *.txt
-	mkdoc ${MKHTMLOPTS} index.txt
-
-index.pdf: *.txt
-	mkdoc ${MKPDFOPTS} index.txt
-
-%.html: %.txt
-	mkdoc ${MKHTMLOPTS} $<
-
-clean:
-	rm -f *.html