diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,4 +23,4 @@ groff -E -Thtml -ms target/temp |\ sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>\1</a>|g" |\ sed "1,6d" > target/temp2 cat header.html target/temp2 |\ - sed -E '34 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html + sed -E '35 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html |
