From 15b99d55ee85d534e3bd7bbb1b1b4b7221522cba Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc" Date: Sun, 28 May 2023 14:21:40 -0500 Subject: [PATCH] Helper program for footnote numbering --- doc/find_footnotes | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100755 doc/find_footnotes diff --git a/doc/find_footnotes b/doc/find_footnotes new file mode 100755 index 0000000..08e873b --- /dev/null +++ b/doc/find_footnotes @@ -0,0 +1,24 @@ +#!/bin/bash +# +# Heuristic to find the footnote references so we don't duplicate them. +# +# Copyright (C) 2023 The Meme Factory, Inc. www.karlpinc.com +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU Affero General Public License as +# published by the Free Software Foundation, either version 3 of the +# License, or (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU Affero General Public License for more details. +# +# You should have received a copy of the GNU Affero General Public License +# along with this program. If not, see . + +egrep -r '\[#f[0-9]' src \ + | cut -d '[' -f 2 \ + | cut -d ']' -f 1 \ + | sort -u + -- 2.34.1