diff options
| -rwxr-xr-x | bin/tidy-bowl | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/tidy-bowl b/bin/tidy-bowl index 22f3f68..5d68bc2 100755 --- a/bin/tidy-bowl +++ b/bin/tidy-bowl @@ -45,9 +45,9 @@ shift `/usr/bin/expr "${OPTIND}" - 1` for fn in $@ do case "${fn}" in - *-[Ee][Nn].[Xx][Mm][Ll] ) + *-de.xml | *-en.xml | *-fr-xml | *-it.xml ) # Make sure we can find the input file - # /bin/echo "$0: English XML file ${fn} prettyprinted." + # /bin/echo "$0: XML file ${fn} prettyprinted." if [ ! -f "${fn}" ]; then /bin/echo $0 "Cannot find '${fn}'" exit 1 @@ -59,9 +59,9 @@ do exit 1 fi ;; - *.[Xx][Mm][Ll] ) - # A non-English XML file. What to do, what to do? - # /bin/echo "$0: Non-English XML file ${fn} left unchanged." + *.xml ) + # A non-Romance XML file. What to do, what to do? + # /bin/echo "$0: Non-Romance XML file ${fn} left unchanged." ;; * ) # Some other kind of file. DO NOTHING!!! |