diff options
| author | root <root@turin.home> | 2022-03-29 23:33:26 +0100 |
|---|---|---|
| committer | root <root@turin.home> | 2022-03-29 23:33:26 +0100 |
| commit | 4140b7394df86d4225ecb065df1d6e38978c821d (patch) | |
| tree | 0f3a79964ccd4e651714c1fbb665e2fe61bd031a /make | |
| parent | 3c2c87334b335378ec0f10e0888e6f4b1e79c1df (diff) | |
Proofreading
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |
