aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-03-31 18:00:22 +0100
committerroot <root@turin.home>2022-03-31 18:00:22 +0100
commitda033a204ef67ade81cff991832d9e2734aa344d (patch)
tree934b12bc5488afc954131d49b0e3c6c9e83749d3 /make
parent4140b7394df86d4225ecb065df1d6e38978c821d (diff)
Proofreading
Diffstat (limited to 'make')
-rwxr-xr-xmake2
1 files changed, 2 insertions, 0 deletions
diff --git a/make b/make
index f123477..7e13522 100755
--- a/make
+++ b/make
@@ -14,6 +14,8 @@ cat paper.ms|\
grep -v "^REMOVEME\n" |\
tr "^" " " |\
sed "s/^ //" |\
+ perl -0pe 's/\nREMOVEME\.\n/. /g' |
+ perl -0pe 's/\nREMOVEME,\n/, /g' |
perl -0pe 's/\nREMOVEME//g' |
perl -0pe 's/\n\n\n/\n\n/g' |
cat macros - > target/temp