1 2 3 4 5 6 7 8 9 10 |
#! /bin/sh DTD_PATH=/usr/share/texinfo/texinfo.dtd XSLT_PATH=/usr/local/share/xml/texi2latex/ makeinfo --xml -o - $1 | \ sed -e "1,2s%http://www.gnu.org/software/texinfo/dtd/[\\.0-9]\+/texinfo.dtd%$DTD_PATH%" | \ # xalan -XSL $XSLT_PATH/texi2latex.xsl -IN /dev/stdin -OUT /dev/stdout | \ saxon /dev/stdin $XSLT_PATH/texi2latex.xsl $2 $3 $4 $5 $6 $7 $8 $9 | \ tbrplent > ${1%.*}.ltx |