diff options
| author | root <root@turin.home> | 2022-03-31 18:00:22 +0100 |
|---|---|---|
| committer | root <root@turin.home> | 2022-03-31 18:00:22 +0100 |
| commit | da033a204ef67ade81cff991832d9e2734aa344d (patch) | |
| tree | 934b12bc5488afc954131d49b0e3c6c9e83749d3 /make | |
| parent | 4140b7394df86d4225ecb065df1d6e38978c821d (diff) | |
Proofreading
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |
