diff -r 0adf4d507ede -r d642f43eb87d doc/devmanual_fr/makefile
--- a/doc/devmanual_fr/makefile	Thu Nov 13 02:14:41 2008 +0100
+++ /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 standard 
-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