OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:makeinfo
(Results
1 - 25
of
46
) sorted by null
1
2
/ndk/sources/host-tools/sed-4.2.1/build-aux/
texi2dvi
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
[
all
...]
/external/libedit/
missing
57
aclocal autoconf autoheader autom4te automake
makeinfo
182
makeinfo
*)
187
echo "The spurious
makeinfo
call might also be the consequence of"
/external/libpng/
missing
57
aclocal autoconf autoheader autom4te automake
makeinfo
182
makeinfo
*)
187
echo "The spurious
makeinfo
call might also be the consequence of"
/external/pcre/dist/
missing
57
aclocal autoconf autoheader autom4te automake
makeinfo
182
makeinfo
*)
187
echo "The spurious
makeinfo
call might also be the consequence of"
/external/chromium_org/third_party/libevent/
missing
90
makeinfo
touch the output file
281
makeinfo
)
282
if test -z "$run" && (
makeinfo
--version) > /dev/null 2>&1; then
283
# We have
makeinfo
, but it failed.
/external/bison/build-aux/
missing
85
makeinfo
touch the output file
281
makeinfo
*)
304
# If the file does not exist, the user really needs
makeinfo
;
/external/chromium_org/third_party/opus/src/
missing
86
makeinfo
touch the output file
282
makeinfo
*)
305
# If the file does not exist, the user really needs
makeinfo
;
/external/e2fsprogs/doc/
Makefile.in
16
INFO=@
MAKEINFO
@
17
HTML=
makeinfo
--html --no-split
37
$(E) "
MAKEINFO
$@"
/external/libcap-ng/libcap-ng-0.7/
missing
86
makeinfo
touch the output file
282
makeinfo
*)
305
# If the file does not exist, the user really needs
makeinfo
;
/external/libopus/
missing
86
makeinfo
touch the output file
282
makeinfo
*)
305
# If the file does not exist, the user really needs
makeinfo
;
/external/llvm/autoconf/
missing
85
makeinfo
touch the output file
283
makeinfo
)
/external/openfst/
missing
86
makeinfo
touch the output file
282
makeinfo
*)
305
# If the file does not exist, the user really needs
makeinfo
;
/external/pixman/
missing
86
makeinfo
touch the output file
282
makeinfo
*)
305
# If the file does not exist, the user really needs
makeinfo
;
/external/chromium_org/sdch/open-vcdiff/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/chromium_org/third_party/libxml/src/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/chromium_org/third_party/tcmalloc/vendor/
missing
88
makeinfo
touch the output file
284
makeinfo
)
307
# If the file does not exist, the user really needs
makeinfo
;
/external/chromium_org/third_party/yasm/source/patched-yasm/config/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/cmockery/cmockery_0_1_2/
missing
85
makeinfo
touch the output file
283
makeinfo
)
300
# If the file does not exist, the user really needs
makeinfo
;
/external/elfutils/0.153/config/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/genext2fs/
missing
85
makeinfo
touch the output file
283
makeinfo
)
300
# If the file does not exist, the user really needs
makeinfo
;
/external/google-tv-pairing-protocol/cpp/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/libexif/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/libmtp/
missing
86
makeinfo
touch the output file
292
makeinfo
*)
315
# If the file does not exist, the user really needs
makeinfo
;
/external/libogg/
missing
85
makeinfo
touch the output file
283
makeinfo
)
300
# If the file does not exist, the user really needs
makeinfo
;
/external/libusb/
missing
88
makeinfo
touch the output file
284
makeinfo
)
307
# If the file does not exist, the user really needs
makeinfo
;
Completed in 2161 milliseconds
1
2