diff options
| author | root <root@turin.home> | 2022-02-17 20:41:38 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-02-17 20:41:38 +0000 |
| commit | 2b695bdb0556a63afd4b370d4a4cbc0e4a2f5c4a (patch) | |
| tree | 169b21e93c2fc2fb2b5e11a6ed14a5c3f25e3b61 /make | |
| parent | 28d2028002a9c578e056928d1458d10f3fc95127 (diff) | |
Rewriting introduction. 2900 words.
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 |
