diff -r 000000000000 -r 96af63b41fcc Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Mon Dec 22 23:28:50 2014 +0100
@@ -0,0 +1,9 @@
+all:	out/short.html out/short.pdf
+
+out/short.html: short.txt
+		asciidoc -o out/short.html -f xhtml $<
+
+out/short.pdf: short.txt
+		 a2x -D out/ $<
+
+distclean:	-rm -rf out/*