Lines Matching refs:MAKEINFO
43 Makeinfo is used to perform Texinfo macro expansion before running TeX
60 -e, -E, --expand force macro expansion using makeinfo
67 The values of the BIBTEX, LATEX (or PDFLATEX), MAKEINDEX, MAKEINFO,
82 expand= # t for expansion via makeinfo
83 miincludes= # makeinfo include path
218 # comment (with `@c texi2dvi') TeX sections so that makeinfo does not
220 # don't comment @macro/@end macro so that makeinfo does propagate
221 # them. Unfortunately makeinfo --iftex --no-ifhtml --no-ifinfo
424 # compilation. No makeinfo.
426 makeinfo= # no point in running makeinfo on latex source.
436 # Assume a Texinfo file. Texinfo files need makeinfo, texindex and tex.
444 # Unless required by the user, makeinfo expansion is wanted only
447 makeinfo=${MAKEINFO:-makeinfo}
462 makeinfo=
464 makeinfo=${MAKEINFO:-makeinfo}
474 # Expand macro commands in the original source file using Makeinfo.
477 # Discard main info output, the user asked to run TeX, not makeinfo.
478 if test -n "$makeinfo"; then
481 | $makeinfo --footnote-style=end -I "$filename_dir" $miincludes \
487 # If makeinfo failed (or was not even run), use the original file as input.
