diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -13,9 +13,6 @@ cat paper.ms|\ sed "s/)(?!.*\.)/) /g" |\ perl -0pe 's/\nREMOVEME//g' |\ tr "^" " "> target/temp -#sed -E "s|([^\"\'\>=])(http[s]?://[^[:space:]]*)|\1\n.pdfhref W -D \"\2\" -A -- \2\n|g" |\ -#sed -E "s|([^\"\'\>=])(http[s]?://[^[:space:]]*)|\1\n.pdfhref W \2\n|g" -# awk '{printf "%s%s", $0, (/)$/ ? "" : ORS)}' |\ cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf groff -Eket -Thtml -ms target/temp |\ |
