diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -20,10 +20,12 @@ cat paper.ms|\ perl -0pe 's/\n\n\n/\n\n/g' | cat macros - > target/temp cat formatting.ms target/temp |\ + tr '~' '-' |\ groff -Eket -Tpdf -ms -P-pa4 > target/paper.pdf groff -Eket -Thtml -ms target/temp |\ sed -E "s|([^\"\'\>=])(http[s]?://[^[:space:]]*)|\1<a href=\2>Available online</a>|g" |\ sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>Available online</a>|g" |\ + sed 's/.*~~~~.*/<hr>/' |\ sed "1,6d" > target/temp2 cat header.html target/temp2 |\ - sed -E '36 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html + sed -E '41 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html |