Lines Matching refs:texinfo
24 # Send bug reports and any other correspondence to bug-texinfo@gnu.org.
29 scripturl="http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs.sh"
30 templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs_template"
54 Generate various output formats from PACKAGE.texinfo (or .texi or .txi) source.
92 Email bug reports or enhancement requests to bug-texinfo@gnu.org.
130 if test -s $srcdir/$PACKAGE.texinfo; then
131 srcfile=$srcdir/$PACKAGE.texinfo
137 echo "$0: cannot find .texinfo or .texi or .txi for $PACKAGE in $srcdir." >&2
212 srcfiles=`ls *.texinfo *.texi *.txi *.eps 2>/dev/null`