From 47fc66bf1d57a7c43f572514c87b650671fd64e0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Paul=20H=C3=A4nsch?= Date: Wed, 7 Feb 2024 00:14:35 +0100 Subject: [PATCH] alternative argument name: --title/--titles --- macros/pagelist | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/macros/pagelist b/macros/pagelist index 9539531..cdc7485 100755 --- 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) -- 2.39.2