diff --git a/doc/scripts/shlint.sh b/doc/scripts/shlint.sh index d66100d..23c1b3d 100755 --- a/doc/scripts/shlint.sh +++ b/doc/scripts/shlint.sh @@ -54,7 +54,7 @@ _usage() #main clean=0 -while getopts "cP:" "name"; do +while getopts "cP:" name; do case "$name" in c) clean=1 diff --git a/doc/scripts/xmllint.sh b/doc/scripts/xmllint.sh index c0f7cba..7e995ee 100755 --- a/doc/scripts/xmllint.sh +++ b/doc/scripts/xmllint.sh @@ -55,7 +55,7 @@ _usage() #main clean=0 -while getopts "cP:" "name"; do +while getopts "cP:" name; do case "$name" in c) clean=1