alternative argument name: --title/--titles

diff --git a/macros/pagelist b/macros/pagelist
index 95395310d0856124eb003beedbe9d8709e33c21b..cdc74856369131732c8c4e607026f404518b0286 100755 (executable)
--- a/macros/pagelist
+++ b/macros/pagelist
@@ -27,7 +27,7 @@ set -- "$@" --
 while [ $# -gt 0 ]; do case $1 in
   --system) glob_system_pages=true; shift 1;;
   --depth)  depth="$2"; shift 2;;
-  --titles) titles=true; shift 1;;
+  --title|--titles) titles=true; shift 1;;
   \#*) tags="${tags}${tags:+ }${1###}"; shift 1;;
   \!*) ntags="${ntags}${ntags:+ }${1##!}"; shift 1;;
   --h1|--h2|--h3|--h4|--h5|--h6|--label)