HomeSort by: relevance | last modified time | path
    Searched refs:TEXI2HTML (Results 1 - 5 of 5) sorted by relevancy

  /src/external/gpl2/gettext/dist/gettext-tools/doc/
Makefile.am 51 texi2html \
176 TEXI2HTML = @PERL@ $(srcdir)/texi2html
182 # We want to use texi2html, not makeinfo --html.
184 $(TEXI2HTML) $(TEXINCLUDES) -number -monolithic `if test -f gettext.texi; then echo gettext.texi; else echo $(srcdir)/gettext.texi; fi`
189 $(TEXI2HTML) $(TEXINCLUDES) -number -split_chapter `if test -f gettext.texi; then echo gettext.texi; else echo $(srcdir)/gettext.texi; fi` || exit 0 ;; \
191 $(TEXI2HTML) $(TEXINCLUDES) -number -split_chapter `if test -f gettext.texi; then echo gettext.texi; else echo $(srcdir)/gettext.texi; fi` ;; \
  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
Makefile.am 156 TEXI2HTML = @PERL@ $(srcdir)/texi2html
163 # We want to use texi2html, not makeinfo --html.
165 $(TEXI2HTML) -expandinfo -number -monolithic `if test -f autosprintf.texi; then echo autosprintf.texi; else echo $(srcdir)/autosprintf.texi; fi`
176 EXTRA_DIST += texi2html autosprintf_all.html
  /src/external/gpl3/autoconf/dist/build-aux/
gendocs.sh 48 : ${TEXI2HTML="texi2html"}
70 --html ARG pass indicated ARG to makeinfo or texi2html for HTML targets.
71 --texi2html use texi2html to generate HTML targets.
105 You can set the environment variables MAKEINFO, TEXI2DVI, TEXI2HTML, and
141 --texi2html) use_texi2html=1;;
235 cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $opt \"$srcfile\""
276 cmd="$SETLANG $TEXI2HTML --output $PACKAGE.html $htmlarg \"$srcfile\""
  /src/external/gpl3/gdb/dist/gnulib/import/extra/
gendocs.sh 51 : ${TEXI2HTML="texi2html"}
58 commonarg= # passed to all makeinfo/texi2html invcations.
95 --html ARG pass ARG to makeinfo or texi2html for HTML targets,
106 --texi2html use texi2html to make HTML target, with all split versions.
145 You can set the environment variables MAKEINFO, TEXI2DVI, TEXI2HTML,
176 --texi2html) use_texi2html=1;;
204 # The legacy texi2html doesn't support TOP_NODE_UP_URL
343 # Split HTML at level $1. Used for texi2html
    [all...]
  /src/external/gpl3/gdb.old/dist/gnulib/import/extra/
gendocs.sh 51 : ${TEXI2HTML="texi2html"}
58 commonarg= # passed to all makeinfo/texi2html invcations.
95 --html ARG pass ARG to makeinfo or texi2html for HTML targets,
106 --texi2html use texi2html to make HTML target, with all split versions.
145 You can set the environment variables MAKEINFO, TEXI2DVI, TEXI2HTML,
176 --texi2html) use_texi2html=1;;
204 # The legacy texi2html doesn't support TOP_NODE_UP_URL
343 # Split HTML at level $1. Used for texi2html
    [all...]

Completed in 24 milliseconds