Added paragraph about Stasi. 980 words.

1 files changed, 3 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index d1facf2..997bd56 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,13 @@
 default:
-	ls target || mkdir target
+	ls -1 | grep target || mkdir target
+	wc paper.ms
 	cat paper.ms |\
 		sed "s/^{/.[\n/g" |\
 		sed "s/}{/\n.]\n.[\n/g" |\
 		sed "s/{/\n.[\n/g" | sed "s/\}\ /\n.]\n/g" | sed "s/\}/\n.]\n/g" |\
 		refer -Ss -p refer | tr "_" " "> target/temp
 	cat formatting.ms target/temp | groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf
+html: default
 	cat header.html > target/paper.html
 	cat formatting.ms target/temp| sed "s/.nr LL*/.nr LL 7i/g" |\
 		groff -Tascii -c -ms |\