Lines Matching refs:texinfo
2 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
24 # Please send bug reports, etc. to bug-texinfo@gnu.org.
29 version="texi2dvi (GNU Texinfo 4.5)
38 Run each Texinfo or LaTeX FILE through TeX in turn until all
41 is used to determine its language (LaTeX or Texinfo).
43 Makeinfo is used to perform Texinfo macro expansion before running TeX
59 -@ use @input instead of \input; for preloaded Texinfo
61 -I DIR search DIR for Texinfo files
62 -l, --language=LANG specify the LANG of FILE (LaTeX or Texinfo)
64 -t, --texinfo=CMD insert CMD after @setfilename in copy of input file
71 Email bug reports to <bug-texinfo@gnu.org>,
72 general questions and discussion to <help-texinfo@gnu.org>.
73 Texinfo home page: http://www.gnu.org/software/texinfo/"
91 txiprereq=19990129 # minimum texinfo.tex version to have macro expansion
216 # A sed script that preprocesses Texinfo sources in order to keep the
267 # saves the ones that are really Texinfo-related files. .?o? catches
409 # Otherwise, if the first line is \input texinfo, assume it's texinfo.
413 elif sed 1q "$command_line_filename" | grep 'input texinfo' >/dev/null; then
414 language=texinfo
419 # Get the type of the file (latex or texinfo) from the given language
436 # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex.
445 # if texinfo.tex is too old.
449 # Check if texinfo.tex performs macro expansion by looking for
455 echo '\input texinfo.tex @bye' >$tmpdir/$txiversion_tex
460 $verbose "texinfo.tex preloaded as \`$txiformat', version is \`$txiversion' ..."
467 if test "$txiformat" = Texinfo; then
