Makefile
changeset 1 81355bae626f
parent 0 22b133b3041b
child 2 ddbc7cbd83f7
--- a/Makefile	Tue Mar 24 15:35:36 2015 +0100
+++ b/Makefile	Thu Mar 26 11:12:42 2015 +0100
@@ -6,7 +6,16 @@
 date = ${shell date -I}
 revision = "${shell hg id -tibB}"
 
+.PHONY: all clean distclean
+
+
+all:	${html}
+clean:	
+distclean:	${clean}
+		rm -f ${html}
+		rmdir ${dir ${html}}
+
 ${html}: 	${txt}
 	@mkdir -p ${dir $@}
-	asciidoc -a data-uri -a icons -a date=${date} \
+	asciidoc -a lang=de -a data-uri -a icons -a date=${date} \
 		-a revision=$(revision) -o $@ ${txt}