aboutsummaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-02-17 20:41:38 +0000
committerroot <root@turin.home>2022-02-17 20:41:38 +0000
commit2b695bdb0556a63afd4b370d4a4cbc0e4a2f5c4a (patch)
tree169b21e93c2fc2fb2b5e11a6ed14a5c3f25e3b61 /make
parent28d2028002a9c578e056928d1458d10f3fc95127 (diff)
Rewriting introduction. 2900 words.
Diffstat (limited to 'make')
-rwxr-xr-xmake2
1 files changed, 1 insertions, 1 deletions
diff --git a/make b/make
index 0718ec9..b898fff 100755
--- a/make
+++ b/make
@@ -23,4 +23,4 @@ groff -E -Thtml -ms target/temp |\
sed -E "s|^(http[s]?://[^[:space:]]*)|<a href=\1>\1</a>|g" |\
sed "1,6d" > target/temp2
cat header.html target/temp2 |\
- sed -E '34 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html
+ sed -E '35 i <a href="./paper.pdf">See this document as a pdf</a><br>'> target/paper.html