From b6dc7c4e0b04473bf3d68ff2f71dbb2d4dd7d6ca Mon Sep 17 00:00:00 2001 From: root Date: Tue, 22 Mar 2022 23:39:41 +0000 Subject: Minor changes, mostly formatting --- make | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'make') diff --git a/make b/make index 234ceee..a19143c 100755 --- a/make +++ b/make @@ -11,8 +11,9 @@ cat paper.ms|\ grep -v "^\.lf" |\ sed "s/\ \ (/ (/g"|\ sed "s/)(?!.*\.)/) /g" |\ - perl -0pe 's/\nREMOVEME//g' |\ + grep -v "^REMOVEME" |\ tr "^" " "> target/temp + #perl -0pe 's/\nREMOVEME//g' |\ cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf groff -Eket -Thtml -ms target/temp |\ -- cgit v1.2.3