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

  /src/external/gpl2/texinfo/dist/util/
texi2dvi 567 tex_help=`cd $tmpdir >/dev/null && $tex --help </dev/null 2>&1`
571 case $tex_help in
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2dvi 864 if test "${tex_help:+set}" != set; then
867 tex_help_dir=$t2ddir/tex_help
869 tex_help=`cd "$tex_help_dir" >&6 && $tex --help </dev/null 2>&1 || true`
873 case $tex_help in
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2dvi 864 if test "${tex_help:+set}" != set; then
867 tex_help_dir=$t2ddir/tex_help
869 tex_help=`cd "$tex_help_dir" >&6 && $tex --help </dev/null 2>&1 || true`
873 case $tex_help in

Completed in 15 milliseconds