diff options
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 |\ |