Todos and proofreading.

1 files changed, 3 insertions, 1 deletions

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