diff -r 000000000000 -r b97547f5f1fa goa/doc/devmanual_fr/makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/goa/doc/devmanual_fr/makefile	Wed Nov 05 15:52:50 2008 +0100
@@ -0,0 +1,21 @@
+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