Lines Matching refs:Texinfo
2 # texi2dvi --- produce DVI (or PDF) files from Texinfo (or LaTeX) sources.
25 # Please send bug reports, etc. to bug-texinfo@gnu.org.
33 version="texi2dvi (GNU Texinfo 4.8) $rcs_version
42 Run each Texinfo or LaTeX FILE through TeX in turn until all
45 is used to determine its language (LaTeX or Texinfo).
47 Makeinfo is used to perform Texinfo macro expansion before running TeX
63 -@ use @input instead of \input; for preloaded Texinfo
65 -I DIR search DIR for Texinfo files
66 -l, --language=LANG specify the LANG of FILE (LaTeX or Texinfo)
70 or --texinfo=CMD multiple values accumulate
75 after @setfilename for Texinfo input, in the first line for LaTeX input.
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
280 # A sed script that preprocesses Texinfo sources in order to keep the
324 # saves the ones that are really Texinfo-related files. .?o? catches
332 # \input texinfo.
335 && sed 1q $this_file | grep -v '^\\input *texinfo' >/dev/null) \
410 # _rcd. The Texinfo file recoded in 7bit.
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 texinfo) from the given language
512 # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex.
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' ..."
559 test "$txiformat" = Texinfo && escape=@
607 # If this is a Texinfo file with a specified input encoding, and
608 # recode is available, then recode to plain 7 bit Texinfo.
609 if test $language = texinfo; then
617 $verbose "Recoding from $encoding to Texinfo."
618 if recode "$encoding"..texinfo <"$filename_input" >"$filename_rcd" \
Indexes created Fri Jun 05 00:26:10 UTC 2026