diff options
Diffstat (limited to 'release/checkxml')
| -rwxr-xr-x | release/checkxml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/release/checkxml b/release/checkxml new file mode 100755 index 0000000..50f8a9d --- /dev/null +++ b/release/checkxml @@ -0,0 +1,13 @@ +cd clean/kde-i18n +find . -name index.docbook | while read file; do + cdir=`dirname $file | sed -e "s,.*/kde-i18n,,"` + dir=../../cache/kde-i18n/$cdir + mkdir -p $dir + echo meinproc --check --cache $dir/index.cache.bz2 $file + meinproc --check --cache $dir/index.cache.bz2 $file 2>/dev/null || echo "ERROR $file" +done + +find . -name man-*.docbook | while read file; do + meinproc --check $file 2>/dev/null || echo "ERROR $file" +done + |
