diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -18,9 +18,9 @@ cat paper.ms|\ # awk '{printf "%s%s", $0, (/)$/ ? "" : ORS)}' |\ cat formatting.ms target/temp |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf -groff -E -Thtml -ms target/temp |\ +groff -Eket -Thtml -ms target/temp |\ sed -E "s|([^\"\'\>=])(http[s]?://[^[:space:]]*)|\1<a href=\2>\2</a>|g" |\ sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>\1</a>|g" |\ sed "1,6d" > target/temp2 cat header.html target/temp2 |\ - sed -E '35 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html + sed -E '36 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html |