Lines Matching refs:texinfo
25 # Please send bug reports, etc. to bug-texinfo@gnu.org.
70 or --texinfo=CMD multiple values accumulate
77 Email bug reports to <bug-texinfo@gnu.org>,
78 general questions and discussion to <help-texinfo@gnu.org>.
79 Texinfo home page: http://www.gnu.org/software/texinfo/"
99 txiprereq=19990129 # minimum texinfo.tex version with macro expansion
332 # \input texinfo.
335 && sed 1q $this_file | grep -v '^\\input *texinfo' >/dev/null) \
482 # Otherwise, if the first line is \input texinfo, assume it's texinfo.
486 elif sed 1q "$command_line_filename" | grep 'input texinfo' >&6; then
487 language=texinfo
492 # Get the type of the file (latex or texinfo) from the given language
513 language=texinfo
529 # if texinfo.tex is too old.
533 # Check if texinfo.tex performs macro expansion by looking for
541 echo '\input texinfo.tex @bye' >txiversion.tex
549 fatal "texinfo.tex appears to be broken, quitting."
552 $verbose "texinfo.tex preloaded as \`$txiformat', version is \`$txiversion' ..."
609 if test $language = texinfo; then
618 if recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd" \