]> git.plutz.net Git - shellwiki/commitdiff
bugfix in --notitles option
authorPaul Hänsch <paul@plutz.net>
Thu, 28 Mar 2024 18:43:33 +0000 (19:43 +0100)
committerPaul Hänsch <paul@plutz.net>
Thu, 28 Mar 2024 18:43:33 +0000 (19:43 +0100)
macros/pagelist

index 502607612940dd45d93202a18864e9e267704904..5a2a114448c290e984b4a641e6fde17ba0373bf5 100755 (executable)
@@ -34,7 +34,7 @@ while [ $# -gt 0 ]; do case $1 in
   --title|--titles|-titles|-title)
     titles=true; shift 1;;
   --no-title|--no-titles|--notitle|--notitles|-no-title|-no-titles|-notitle|-notitles)
-    titles=false; shift 1;;
+    titles=''; shift 1;;
   \#*) tags="${tags}${tags:+ }${1###}"; shift 1;;
   \!*) ntags="${ntags}${ntags:+ }${1##!}"; shift 1;;
   --h1|--h2|--h3|--h4|--h5|--h6|--label)