From 79f50c7d421bc7a8c09890b1e5d4c862473e13f3 Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Sun, 18 Aug 2024 02:24:15 -0700 Subject: [PATCH] fix quick mode in bin/gen-other-html.sh Fixed how `-Q` quick mode works in `bin/gen-other-html.sh` so that the target HTML file is not touched needlessly. Changed `bin/gen-other-html.sh` VERSION from "1.4 2024-08-17" to 1.4.1 2024-08-18". Performed `quick_other_html` to test the above under macOS. Performed `gen_other_html` to test the above under macOS. --- bin/gen-other-html.sh | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/bin/gen-other-html.sh b/bin/gen-other-html.sh index 7ee0fe78b..04ac82ec4 100755 --- a/bin/gen-other-html.sh +++ b/bin/gen-other-html.sh @@ -86,7 +86,7 @@ shopt -s globstar # enable ** to match all files and zero or more directories an # set variables referenced in the usage message # -export VERSION="1.4 2024-08-17" +export VERSION="1.4.1 2024-08-18" NAME=$(basename "$0") export NAME export V_FLAG=0 @@ -615,14 +615,6 @@ for YYYY in $(< "$TOP_FILE"); do if [[ $V_FLAG -ge 3 ]]; then echo "$0: debug[3]: does not need to be updated: $HTML_FILE" 1>&2 fi - - # case -Q: (quick mode) - # - # If we are here, then the early quick mode test indicated that the prerequisite files are newer. - # We will force the authors.html file to be touched so that a later run with -Q will quickly exit. - # We do this because by default, the md2html.sh tool does not modify the target HTML unless it was modified. - # - touch "$HTML_FILE" continue fi fi