doctype: fix custom options (thanks sirjofri)

we need to allow '$1' to expand in order to
grow the list of options.
This commit is contained in:
Ori Bernstein 2024-10-05 15:20:27 +00:00
parent 6ebfbaa826
commit ddcfc1de22

View file

@ -21,7 +21,7 @@ while(~ $1 -*){
dev=-T$2 dev=-T$2
shift shift
case -* case -*
opt=$opt' $1' opt=$opt' '$1
} }
shift shift
} }