diff options
| author | root <root@turin.home> | 2022-02-03 23:11:47 +0000 |
|---|---|---|
| committer | root <root@turin.home> | 2022-02-03 23:11:47 +0000 |
| commit | 2b747d8059afe9a65a6d3741320fa25c15990211 (patch) | |
| tree | f59dc99a09867a2f69c40449a4e9fe26c8ba7554 /Makefile | |
| parent | 49085e8763d07d0fff67a27752c34567f3e14aa8 (diff) | |
Is the discussion of these matters important? 1700 words
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
