diff options
-rwxr-xr-x | find-lang.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/find-lang.sh b/find-lang.sh index ec1fe42..e9c8e32 100755 --- a/find-lang.sh +++ b/find-lang.sh @@ -43,6 +43,7 @@ to \$3. Additional options: --with-gnome find GNOME help files --with-kde find KDE help files (not implemented yet) + --with-html find HTML doc files --without-mo not find locales files --all-name find all localized files EOF @@ -65,6 +66,7 @@ shift GNOME=# KDE=# +HTML=# MO= MO_NAME=$NAME.lang ALL_NAME=# @@ -79,6 +81,10 @@ while test $# -gt 0 ; do KDE= shift ;; + --with-html ) + HTML= + shift + ;; --without-mo ) MO=# shift @@ -128,6 +134,15 @@ s:'"$TOP_DIR"':: s:^\([^%].*\):: s:%lang(C) ::' >> $MO_NAME +find $TOP_DIR -type d|sed ' +s:'"$TOP_DIR"':: +'"$NO_ALL_NAME$HTML"'s:\(.*/doc/HTML/\)\([^/_]\+\)\(.*/'"$NAME"'/\):: +'"$NO_ALL_NAME$HTML"'s:\(.*/doc/HTML/\)\([^/_]\+\)\(.*/'"$NAME"'\):%lang(\2) \1\2\3: +'"$ALL_NAME$HTML"'s:\(.*/doc/HTML/\)\([^/_]\+\)\(.*/[a-zA-Z0-9\_\-]\+/\):: +'"$ALL_NAME$HTML"'s:\(.*/doc/HTML/\)\([^/_]\+\)\(.*/[a-zA-Z0-9\_\-]\+$\):%lang(\2) \1\2\3: +s:^\([^%].*\):: +s:%lang(C) ::' >> $MO_NAME + if [ "$(cat $MO_NAME | egrep -v '(^%defattr|^$)' | wc -l)" -le 0 ]; then echo 'Error: international files not found !' 1>&2 fi |