diff options
| author | root <root@turin.home> | 2022-02-27 13:04:04 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-03-07 11:35:34 +0000 |
| commit | 3d5309ad02ca220f0cd3055af7e4287841415c79 (patch) | |
| tree | 296368f581b398ff64095ed45f7a123e2ac48895 /make | |
| parent | d915196f3c57d86e47675035aafbf82216efe745 (diff) | |
Changes is intro, doing todos/citations
Diffstat (limited to 'make')
| -rwxr-xr-x | make | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -19,8 +19,8 @@ cat paper.ms|\ cat formatting.ms target/temp |\ 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>\2</a>|g" |\ - sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>\1</a>|g" |\ + 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 "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 |
