16 lines
337 B
Bash
Executable File
16 lines
337 B
Bash
Executable File
#!/bin/sh
|
|
|
|
langs="c.lang diff.lang latex.lang misc.lang make.lang ms.lang python.lang python-console.lang sh.lang xml.lang sci.lang gap.lang scheme.lang"
|
|
styles="garnacho.styles gvim.styles"
|
|
files="$langs $styles"
|
|
|
|
if [ $1 ]; then
|
|
files=$*
|
|
fi
|
|
|
|
for file in $files; do
|
|
if ! xmllint --valid --noout $file ; then
|
|
exit 1
|
|
fi
|
|
done
|