aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-02-26 15:44:39 +0000
committerroot <root@turin.home>2022-03-07 11:35:34 +0000
commitd915196f3c57d86e47675035aafbf82216efe745 (patch)
treed112d6e5cc47dfd833c9391e4653f766df464752 /make
parent185b30a2b70471422fcf26e8fb433458c691e1d4 (diff)
Todos and citations.
Diffstat (limited to 'make')
-rwxr-xr-xmake4
1 files changed, 2 insertions, 2 deletions
diff --git a/make b/make
index b898fff..15b35d4 100755
--- a/make
+++ b/make
@@ -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