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.
This commit is contained in:
1 parent
0e5864b8b0
commit
79f50c7d42
1 file changed
+1
-9
@@ -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
|
||||
|
||||
Reference in new issue
Block a user