branch master updated: tp/maintain/check_back_xml_forth_texi_t.sh: call xmllint on all the generated Texinfo XML files

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 1b02fc621f tp/maintain/check_back_xml_forth_texi_t.sh: call xmllint on 
all the generated Texinfo XML files
1b02fc621f is described below

commit 1b02fc621f0d5ae224bb269958abc0e6aa67b984
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Dec 4 14:36:57 2022 +0100

    tp/maintain/check_back_xml_forth_texi_t.sh: call xmllint on all the
    generated Texinfo XML files
---
 tp/TODO                                    | 10 ----------
 tp/maintain/check_back_xml_forth_texi_t.sh |  4 +++-
 2 files changed, 3 insertions(+), 11 deletions(-)

diff --git a/tp/TODO b/tp/TODO
index 339637d3d5..d68ff237f2 100644
--- a/tp/TODO
+++ b/tp/TODO
@@ -681,16 +681,6 @@ Misc notes
 export XML_CATALOG_FILES=~/src/texinfo/tp/maintain/catalog.xml
 xmllint --nonet --noout --valid commands.xml
 
-(
-for file in check_back_xml_forth_texi/backforth_xmltexi/*/*.xml; do
-  dir=`dirname "$file" | sed 
's;check_back_xml_forth_texi/backforth_xmltexi/;;'`
-  bfile=`basename "$file" .xml`
-  echo $dir "$bfile"
-  mkdir -p check_back_xml_forth_texi/xmllint/$dir
-  xmllint --nonet --noout --valid $file > 
"check_back_xml_forth_texi/xmllint/$dir/${bfile}_lint.1" 
2>"check_back_xml_forth_texi/xmllint/$dir/${bfile}_lint.2"
-done
-) > check_back_xml_forth_texi/check_xmllint.log 2>&1
-
 tidy -qe *.html
 
 profiling: package on debian:
diff --git a/tp/maintain/check_back_xml_forth_texi_t.sh 
b/tp/maintain/check_back_xml_forth_texi_t.sh
index 85826e4ec9..fc282ae4cc 100755
--- a/tp/maintain/check_back_xml_forth_texi_t.sh
+++ b/tp/maintain/check_back_xml_forth_texi_t.sh
@@ -57,7 +57,7 @@ for dir in `find t_texis/ -type d` ; do
     continue
   fi
   echo "doing $bdir"
-  mkdir -p $mdir/backforth_plaintexi/$bdir $mdir/backforth_xmltexi/$bdir 
$mdir/backforth_checktexi/$bdir
+  mkdir -p $mdir/backforth_plaintexi/$bdir $mdir/backforth_xmltexi/$bdir 
$mdir/backforth_checktexi/$bdir $mdir/xmllint/$bdir
   if test $one_test = 'yes' ; then
     mkdir -p $mdir/onetest_logs
     logfile=$mdir/onetest_logs/$the_test.log
@@ -83,6 +83,8 @@ for dir in `find t_texis/ -type d` ; do
     ./texi2any.pl -c TEXINFO_OUTPUT_FORMAT=plaintexinfo --ifxml --no-ifinfo 
--force --error=100000 -o $mdir/backforth_plaintexi/$bdir/ $file
     echo "              Texinfo XML"
     ./texi2any.pl --xml --force --error=100000 -o 
$mdir/backforth_xmltexi/$bdir/ $file
+    echo "              xmllint"
+    xmllint --nonet --noout --valid $mdir/backforth_xmltexi/$bdir/$bfile.xml > 
$mdir/xmllint/$bdir/${bfile}_lint.1 2>$mdir/xmllint/$bdir/${bfile}_lint.2
     echo "              Back"
     ../util/txixml2texi.pl $mdir/backforth_xmltexi/$bdir/$bfile.xml > 
$mdir/backforth_checktexi/$bdir/$bfile.texi
   done