diff --git a/Dothem b/Dothem index 75e90ab289..38a37f2ba4 100755 --- a/Dothem +++ b/Dothem @@ -5,6 +5,7 @@ NWD=contrib/workdir/git-new-workdir force= with_dash= M= install= nodoc= bootstrap= branches= jobs= while case "$1" in --pedantic) M="$M $1" ;; + --locale=*) M="$M $1" ;; --force) force=$1 ;; --dash) with_dash=y ;; --noinstall) install=noinstall ;;