Lines Matching refs:texinfo
24 # Send bug reports and any other correspondence to bug-texinfo@gnu.org.
28 # http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs.sh
29 # http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendocs_template
36 scripturl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/util/gendocs.sh"
37 templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/util/gendocs_template"
61 Generate various output formats from PACKAGE.texinfo (or .texi or .txi) source.
66 -s SRCFILE read Texinfo from SRCFILE, instead of PACKAGE.{texinfo|texi|txi}
116 Email bug reports or enhancement requests to bug-texinfo@gnu.org.
166 *.txi|*.texi|*.texinfo) base=`echo "$base"|sed 's/\.[texinfo]*$//'`;;
169 elif test -s "$srcdir/$PACKAGE.texinfo"; then
170 srcfile=$srcdir/$PACKAGE.texinfo
176 echo "$0: cannot find .texinfo or .texi or .txi for $PACKAGE in $srcdir." >&2
294 srcfiles=`ls *.texinfo *.texi *.txi *.eps 2>/dev/null` || true