backends/texi.in

   1 # Backend to convert a DocBook file into a texinfo file
   2 # Send any comments to Jochem Huhmann <joh@revier.com>
   3 # This program is under GPL license. See LICENSE file for details.
   4
   5 # Convert to texinfo
   6 nsgmls $SGML_FILE | sgmlspl $SGML_BASE_DIR/docbook/utils-@VERSION@/helpers/docbook2texi-spec.pl >$SGML_FILE_NAME.texi
   7 if [ $? -ne 0 ]
   8 then exit 1
   9 fi
  10
  11 exit 0