HomeSort by relevance Sort by last modified time
    Searched refs:makeinfo (Results 1 - 25 of 45) 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/chromium/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/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/grub/
missing 85 makeinfo touch the output file
283 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/libffi/
missing 85 makeinfo touch the output file
283 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/sdch/open-vcdiff/
missing 88 makeinfo touch the output file
284 makeinfo)
307 # 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/elfutils/config/
missing 88 makeinfo touch the output file
284 makeinfo)
307 # 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/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/libpng/
missing 86 makeinfo touch the output file
292 makeinfo*)
315 # 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;
  /external/libusb-compat/
missing 88 makeinfo touch the output file
284 makeinfo)
307 # If the file does not exist, the user really needs makeinfo;
  /external/libvorbis/
missing 85 makeinfo touch the output file
283 makeinfo)
300 # If the file does not exist, the user really needs makeinfo;
  /external/marisa-trie/
missing 88 makeinfo touch the output file
284 makeinfo)
307 # If the file does not exist, the user really needs makeinfo;

Completed in 539 milliseconds

1 2