aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorroot <root@turin.home>2022-02-03 23:11:47 +0000
committerroot <root@turin.home>2022-02-03 23:11:47 +0000
commit2b747d8059afe9a65a6d3741320fa25c15990211 (patch)
treef59dc99a09867a2f69c40449a4e9fe26c8ba7554 /Makefile
parent49085e8763d07d0fff67a27752c34567f3e14aa8 (diff)
Is the discussion of these matters important? 1700 words
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c34c29a..f16c2c0 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ default:
sed "s/^{/.[\n/g" |\
sed "s/}{/\n.]\n.[\n/g" |\
sed "s/{/\n.[\n/g" | sed "s/\}\ /\n.]\n/g" | sed "s/\}/\n.]\n/g" |\
- refer -Ss -p refer | tr "_" " "> target/temp
+ refer -Ss -p refer | tr "^" " "> target/temp
cat formatting.ms target/temp | groff -ket -Tpdf -ms -P-pa4 > target/paper.pdf
html: default
cat header.html > target/paper.html