diff -r 0adf4d507ede -r d642f43eb87d doc/book/fr/makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/book/fr/makefile	Thu Nov 13 02:29:41 2008 +0100
@@ -0,0 +1,21 @@
+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