aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
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