gotta-patch-em-all: Fix --help option

[why]
Somehow the option is mentioned but not implemented.

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
This commit is contained in:
Fini Jastrow 2023-01-12 14:11:40 +01:00
parent 95bdc420da
commit 8d78b63764

View file

@ -102,6 +102,9 @@ while getopts ":chijtv-:" option; do
checkfont)
activate_checkfont
;;
help)
show_help
exit 0;;
info)
activate_info
;;