From 3d5309ad02ca220f0cd3055af7e4287841415c79 Mon Sep 17 00:00:00 2001
From: root <root@turin.home>
Date: Sun, 27 Feb 2022 13:04:04 +0000
Subject: Changes is intro, doing todos/citations

---
 make | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'make')

diff --git a/make b/make
index 15b35d4..439460f 100755
--- a/make
+++ b/make
@@ -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
-- 
cgit v1.2.3