]> Savannah Git Hosting - gnulib.git/commitdiff
gendocs: fix --no-html
authorPatrice Dumas <pertusus@free.fr>
Sat, 27 Jan 2024 11:55:17 +0000 (12:55 +0100)
committerBruno Haible <bruno@clisp.org>
Sat, 27 Jan 2024 11:55:17 +0000 (12:55 +0100)
* build-aux/gendocs.sh: fix typo in variable name set by --no-html.

ChangeLog
build-aux/gendocs.sh

index 65982d71779722e9694dbbc6aa5c1ed0781898ad..da748f4f3d6b790b44e82ba42d49aa53fdb6ace6 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-01-27  Patrice Dumas  <pertusus@free.fr>
+
+       gendocs: fix --no-html
+       * build-aux/gendocs.sh: fix typo in variable name set by --no-html.
+
 2024-01-25  Bruno Haible  <bruno@clisp.org>
 
        execute tests: Avoid test failure on macOS 14.
index b0433c798f43238ec519eaf46ac411c003c29d62..779b4840e51555501e429066cc29e4e9a0bc14d2 100755 (executable)
@@ -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;;