From 7b7273c0fec1077e25cd1d9dbf5819a9b0cc1311 Mon Sep 17 00:00:00 2001 From: gnat Date: Fri, 20 Sep 2024 05:23:06 -0700 Subject: [PATCH] fix footnote formatting --- scripts/make-footnote | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/make-footnote b/scripts/make-footnote index f225efa..b05102b 100755 --- a/scripts/make-footnote +++ b/scripts/make-footnote @@ -1,5 +1,5 @@ #!/bin/sh id="$(wc -l /tmp/footnote_count | cut -d' ' -f1 | tr -d '\n')" echo -n "[${id}]" -echo "${1}[${id}]" >> /tmp/footnotes +echo "
${1}[${id}]" >> /tmp/footnotes echo ' ' >> /tmp/footnote_count