Lines Matching refs:MAKEINFO
35 # makeinfo. But it should be simple enough to adjust.
46 : ${MAKEINFO="makeinfo"}
77 --html ARG pass indicated ARG to makeinfo or texi2html for HTML targets.
78 --info ARG pass indicated ARG to makeinfo for Info, instead of --no-split.
116 You can set the environment variables MAKEINFO, TEXI2DVI, TEXI2HTML,
122 By default, makeinfo and texi2dvi are run in the default (English)
252 cmd="$SETLANG $MAKEINFO -o $PACKAGE.info $commonarg $infoarg \"$srcfile\""
277 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
306 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
317 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\""
356 cmd="$SETLANG $MAKEINFO $opt \"$srcfile\" >${srcdir}/$PACKAGE-db.xml"
