Home
last modified time | relevance | path

Searched refs:makeinfo (Results 1 – 20 of 20) sorted by relevance

/ndk/sources/host-tools/sed-4.2.1/build-aux/
Dtexi2dvi424 makeinfo= # no point in running makeinfo on latex source.
445 makeinfo=${MAKEINFO:-makeinfo}
460 makeinfo=
462 makeinfo=${MAKEINFO:-makeinfo}
476 if test -n "$makeinfo"; then
479 | $makeinfo --footnote-style=end -I "$filename_dir" $miincludes \
Dmissing292 makeinfo*)
Dtexinfo.tex2257 % makeinfo 4.8 does not support it, but we need it nonetheless.
4425 % makeinfo does not expand macros in the argument to @deffn, which ends up
6286 % we need the curly braces so that makeinfo sees the @verb command, eg:
7569 % to exdent this text, so make it be a no-op. makeinfo does not use
/ndk/sources/host-tools/make-3.81/config/
Dmissing283 makeinfo)
Dtexinfo.tex3460 % makeinfo does not expand macros in the argument to @deffn, which ends up
5143 % we need the curly braces so that makeinfo sees the @verb command, eg:
6398 % to exdent this text, so make it be a no-op. makeinfo does not use
/ndk/sources/host-tools/make-3.81/
DMakefile.DOS69 MAKEINFO = ${exec_prefix}/bin/makeinfo
DMakefile.ami112 MAKEINFO = makeinfo
DSMakefile118 MAKEINFO = makeinfo
Dconfig.log385 MAKEINFO='${SHELL} /home/digit/sources/make-3.81/config/missing --run makeinfo'
Daclocal.m4440 AM_MISSING_PROG(MAKEINFO, makeinfo)
DChangeLog1577 execution of "makeinfo --html make.texi".
/ndk/sources/host-tools/make-3.81/doc/
Dmake.info3 produced by makeinfo version 4.13 from
Dmake-stds.texi177 make makeinfo ranlib texi2dvi yacc
716 (such as the ``split'' mode output by @code{makeinfo --html}), you'll
832 run the @code{makeinfo} program, which is part of the Texinfo
873 for example, it might run @code{makeinfo --no-split --html}
874 (@command{makeinfo} is part of the Texinfo distribution).
Dmake.info-23 produced by makeinfo version 4.13 from
1289 make makeinfo ranlib texi2dvi yacc
1796 `makeinfo --html'), you'll certainly want to use subdirectories,
1903 run the `makeinfo' program, which is part of the Texinfo
1937 for example, it might run `makeinfo --no-split --html' (`makeinfo'
2773 makeinfo tar.texinfo
3795 * makeinfo <1>: Implicit Variables. (line 88)
3796 * makeinfo: Catalogue of Rules. (line 158)
Dmake.texi8568 @pindex makeinfo
8755 @samp{makeinfo}.
8756 @pindex makeinfo
11001 makeinfo tar.texinfo
Dmake.info-13 produced by makeinfo version 4.13 from
7114 `makeinfo'.
/ndk/sources/host-tools/make-3.81/w32/
DMakefile132 MAKEINFO = ${SHELL} /opt/src/make/make-release/config/missing --run makeinfo
/ndk/sources/host-tools/sed-4.2.1/
Daclocal.m4461 AM_MISSING_PROG(MAKEINFO, makeinfo)
/ndk/sources/host-tools/sed-4.2.1/doc/
Dsed.info1 This is ../../doc/sed.info, produced by makeinfo version 4.12 from
/ndk/sources/host-tools/make-3.81/autom4te.cache/
Doutput.02675 MAKEINFO=${MAKEINFO-"${am_missing_run}makeinfo"}