diff options
| author | root <root@turin.home> | 2022-03-29 17:45:54 +0100 |
|---|---|---|
| committer | root <root@turin.home> | 2022-03-29 17:45:54 +0100 |
| commit | 3c2c87334b335378ec0f10e0888e6f4b1e79c1df (patch) | |
| tree | 18f08610e5d4506f4c5d8f205f922c1a663295d7 /make | |
| parent | b6dc7c4e0b04473bf3d68ff2f71dbb2d4dd7d6ca (diff) | |
Proofreading
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -2,8 +2,8 @@ ls -1 | grep target || mkdir target wc paper.ms cat paper.ms|\ - sed "s/}\./}\REMOVEME./g" |\ - sed "s/}\,/}\REMOVEME,/g" |\ + sed "s/}\./}\REMOVEME.\n/g" |\ + sed "s/}\,/}\REMOVEME,\n/g" |\ sed "s/^{/.[\n/g" |\ sed "s/}{/\n.]\n.[\n/g" |\ sed "s/{/\n.[\n/g" | sed "s/\}\ /\n.]\n/g" | sed "s/\}/\n.]\n/g" |\ @@ -11,9 +11,11 @@ cat paper.ms|\ grep -v "^\.lf" |\ sed "s/\ \ (/ (/g"|\ sed "s/)(?!.*\.)/) /g" |\ - grep -v "^REMOVEME" |\ - tr "^" " "> target/temp - #perl -0pe 's/\nREMOVEME//g' |\ + grep -v "^REMOVEME\n" |\ + tr "^" " " |\ + sed "s/^ //" |\ + perl -0pe 's/\nREMOVEME//g' | + cat macros - > target/temp cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf groff -Eket -Thtml -ms target/temp |\ |
