Makefile
changeset 6 4779d7083767
child 10 905843405257
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Wed Jan 14 22:31:56 2015 +0100
@@ -0,0 +1,15 @@
+TXT = abstract.txt
+HTML = out/abstract.html
+
+REVISION = ${shell hg id -tibB}
+DATE = ${shell date -I}
+
+
+.PHONY:	all clean
+
+all:	${HTML}
+clean:	; rm -f ${HTML}
+
+out/%.html:		%.txt
+		@mkdir -p ${dir $@}
+		asciidoc -a revision="${REVISION}" -a date="${DATE}" -o $@ $<