aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-03-29 23:33:26 +0100
committerroot <root@turin.home>2022-03-29 23:33:26 +0100
commit4140b7394df86d4225ecb065df1d6e38978c821d (patch)
tree0f3a79964ccd4e651714c1fbb665e2fe61bd031a /make
parent3c2c87334b335378ec0f10e0888e6f4b1e79c1df (diff)
Proofreading
Diffstat (limited to 'make')
-rwxr-xr-xmake1
1 files changed, 1 insertions, 0 deletions
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