diff -r 86e315be5b57 -r 95ecb62b93e6 Makefile
--- a/Makefile	Mon Apr 20 23:07:09 2015 +0200
+++ b/Makefile	Mon Apr 20 23:07:59 2015 +0200
@@ -1,6 +1,6 @@
-TXT = abstract.txt
-HTML = out/abstract.html
-PDF = out/abstract.pdf
+TXT = short.txt
+HTML = out/short.html
+PDF = out/short.pdf
 
 #REVISION = ${shell hg id -tibB}
 REVISION = ${shell hg log -r . --template '{latesttag}-{latesttagdistance}-{node|short}'}