Martin Pulec f35b046359 data/make_man.sh: fixed missing getopts shift ...

removed accidentally by 7c0bd41b

Now it is shifted after the while-loop (not `shift` in every while
iteration) - should behave the same but this is canonical according to
getopts man (w/o needless '$' before OPTIND).

2023-11-15 09:57:00 +01:00

4.6 KiB

Executable File

Raw Permalink Blame History

View Raw