aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-03-22 23:39:41 +0000
committerroot <root@turin.home>2022-03-22 23:39:41 +0000
commitb6dc7c4e0b04473bf3d68ff2f71dbb2d4dd7d6ca (patch)
treea802608b4bc8082d91917c6cfea02cea6d6f1dee /make
parent2ef9c9c104a9f4d78609c0687adf842215fb5a94 (diff)
Minor changes, mostly formatting
Diffstat (limited to 'make')
-rwxr-xr-xmake3
1 files changed, 2 insertions, 1 deletions
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 |\