Hello, A small patch for a small typo in gendoc.sh for --no-html.
-- Pat
diff --git a/ChangeLog b/ChangeLog index 65982d7177..da748f4f3d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2024-01-27 Patrice Dumas <[email protected]> + + gendocs: fix --no-html + * build-aux/gendocs.sh: fix typo in variable name set by --no-html. + 2024-01-25 Bruno Haible <[email protected]> execute tests: Avoid test failure on macOS 14. diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index b0433c798f..779b4840e5 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -167,7 +167,7 @@ while test $# -gt 0; do --html) shift; default_htmlarg=false; htmlarg=$1;; --info) shift; infoarg=$1;; --no-ascii) generate_ascii=false;; - --no-html) generate_ascii=false;; + --no-html) generate_html=false;; --no-info) generate_info=false;; --no-tex) generate_tex=false;; --source) shift; source_extra=$1;;
