diff options
Diffstat (limited to 'helpcontent2/helpers/update_tree.pl')
| -rw-r--r-- | helpcontent2/helpers/update_tree.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/helpcontent2/helpers/update_tree.pl b/helpcontent2/helpers/update_tree.pl index 8dc7bf4e98..80befc2d4e 100644 --- a/helpcontent2/helpers/update_tree.pl +++ b/helpcontent2/helpers/update_tree.pl @@ -46,6 +46,7 @@ terminate() if ( ! defined $inpath ); my $destpath = $inpath; my $with_lang = $ENV{WITH_LANG}; +my $xmllint = $ENV{XMLLINT}; # Always use / directory separators @@ -308,6 +309,7 @@ sub processtreefiles { unlink "$tree_dest/$lng/$tv" ; my $ret=mv $treetmpfile , "$tree_dest/$lng/$tv$inpath" or &terminate("Cannot write to $tree_dest/$lng/$tv$inpath - Error $!"); my $ret=mv "$tree_dest/$lng/$tv$inpath" , "$tree_dest/$lng/$tv" or &terminate("Cannot write to $tree_dest/$lng/$tv - Error $!"); + system("$xmllint --noout --noent $tree_dest/$lng/$tv") == 0 or &terminate("$tree_dest/$lng/$tv is illformed xml (xmllint)" ); } } else { &terminate("Cannot write to $tvout"); |