From 4140b7394df86d4225ecb065df1d6e38978c821d Mon Sep 17 00:00:00 2001 From: root Date: Tue, 29 Mar 2022 23:33:26 +0100 Subject: Proofreading --- make | 1 + 1 file changed, 1 insertion(+) (limited to 'make') diff --git a/make b/make index 57a5027..f123477 100755 --- a/make +++ b/make @@ -15,6 +15,7 @@ cat paper.ms|\ tr "^" " " |\ sed "s/^ //" |\ perl -0pe 's/\nREMOVEME//g' | + perl -0pe 's/\n\n\n/\n\n/g' | cat macros - > target/temp cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf -- cgit v1.2.3