diff options
| author | root <root@turin.home> | 2022-03-22 23:39:41 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-03-22 23:39:41 +0000 |
| commit | b6dc7c4e0b04473bf3d68ff2f71dbb2d4dd7d6ca (patch) | |
| tree | a802608b4bc8082d91917c6cfea02cea6d6f1dee /make | |
| parent | 2ef9c9c104a9f4d78609c0687adf842215fb5a94 (diff) | |
Minor changes, mostly formatting
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -11,8 +11,9 @@ cat paper.ms|\ grep -v "^\.lf" |\ sed "s/\ \ (/ (/g"|\ sed "s/)(?!.*\.)/) /g" |\ - perl -0pe 's/\nREMOVEME//g' |\ + grep -v "^REMOVEME" |\ tr "^" " "> target/temp + #perl -0pe 's/\nREMOVEME//g' |\ cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf groff -Eket -Thtml -ms target/temp |\ |
