From e34a2925145ff6212736cda59210931e487601d8 Mon Sep 17 00:00:00 2001 From: Potosi Date: Fri, 22 Dec 2023 17:32:18 +0100 Subject: [PATCH] Fixed
bug --- make.sh | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/make.sh b/make.sh index 17cbe97..9f07b0b 100755 --- a/make.sh +++ b/make.sh @@ -54,16 +54,6 @@ mark_dead_links() { done } -convert() { - # $1: in, $2: out, $3: header, $4: footer - if ! [ "$#" = 4 ] ; then - echo "generate_page: 4 args needed" - exit 1 - fi - printf "Processing %s\n" "$1" - ("$3" ; md "$1" ; "$4") > "$2" -} - generate_page() { # $1: dir in, $2: $dir out, $3: header, $4: footer echo "Doing $1" @@ -77,8 +67,9 @@ generate_page() { echo "Doing $filelist" ("$3" && echo "