diff options
-rwxr-xr-x | bin/tidy-bowl | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bin/tidy-bowl b/bin/tidy-bowl index 95527da..bda37da 100755 --- a/bin/tidy-bowl +++ b/bin/tidy-bowl @@ -45,7 +45,7 @@ shift `/usr/bin/expr "${OPTIND}" - 1` for fn in $@ do case "${fn}" in - *-de.xml | *-en.xml | *-fr-xml | *-it.xml ) + *.xml ) # Make sure we can find the input file # /bin/echo "$0: XML file ${fn} prettyprinted." if [ ! -f "${fn}" ]; then @@ -61,10 +61,6 @@ do exit 1 fi ;; - *.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!!! # /bin/echo "$0: file ${fn} left unchanged." |