From cc3d27b5ddb7ab001074b5138771b36868855112 Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc" Date: Thu, 5 Oct 2023 09:46:01 -0500 Subject: [PATCH] Remove unnecessary program --- doc/find_footnotes | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100755 doc/find_footnotes diff --git a/doc/find_footnotes b/doc/find_footnotes deleted file mode 100755 index 08e873b..0000000 --- a/doc/find_footnotes +++ /dev/null @@ -1,24 +0,0 @@ -#!/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