From 2b747d8059afe9a65a6d3741320fa25c15990211 Mon Sep 17 00:00:00 2001 From: root Date: Thu, 3 Feb 2022 23:11:47 +0000 Subject: Is the discussion of these matters important? 1700 words --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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 -- cgit v1.2.3