From b086c533b48e8ac43267c15bbe72bf1b60eb8211 Mon Sep 17 00:00:00 2001
From: root <root@turin.home>
Date: Mon, 4 Apr 2022 15:31:38 +0100
Subject: Todos and proofreading.

---
 make | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'make')

diff --git a/make b/make
index 7e13522..9f8cd7f 100755
--- a/make
+++ b/make
@@ -20,10 +20,12 @@ cat paper.ms|\
     perl -0pe 's/\n\n\n/\n\n/g' |
     cat macros - > target/temp
 cat formatting.ms target/temp |\
+    tr '~' '-' |\
     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>Available online</a>|g" |\
     sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>Available online</a>|g" |\
+    sed 's/.*~~~~.*/<hr>/' |\
     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
+    sed -E '41 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html
-- 
cgit v1.2.3