Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
data/make_man.sh: fixed missing getopts shift
removed accidentally by 7c0bd41 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).
- Loading branch information