Lines Matching refs:macro
43 Makeinfo is used to perform Texinfo macro expansion before running TeX
60 -e, -E, --expand force macro expansion using makeinfo
91 txiprereq=19990129 # minimum texinfo.tex version to have macro expansion
220 # don't comment @macro/@end macro so that makeinfo does propagate
230 /^@c texi2dvi@macro/,/^@c texi2dvi@end macro/{
338 # macro-expanded file to here, else copy the original file.
365 # directory (e.g., in --clean mode, or during the macro-support
449 # Check if texinfo.tex performs macro expansion by looking for
474 # Expand macro commands in the original source file using Makeinfo.
479 $verbose "Macro-expanding $command_line_filename to $filename_src ..."
482 -o /dev/null --macro-expand=- \
