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