Searched refs:TEXI2HTML (Results 1 – 1 of 1) sorted by relevance
53 : ${TEXI2HTML="texi2html"}288 cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $opt \"$srcfile\""331 cmd="$SETLANG $TEXI2HTML $opt \"$srcfile\""