From 00aad0e89fe4f909664817dca33205c80347098d Mon Sep 17 00:00:00 2001
From: root <root@turin.home>
Date: Sun, 30 Jan 2022 16:02:41 +0000
Subject: Added paragraph about Stasi. 980 words.

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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 |\
-- 
cgit v1.2.3