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

  /src/external/gpl2/texinfo/dist/util/
texi2dvi 95 textra= # Extra TeX commands to insert in the input file.
96 textra_cmd= # sed command to insert TEXTRA where appropriate
196 -t | --tex* | --com* ) shift; textra="$textra\\
600 if test -n "$textra"; then
601 $verbose "Inserting extra commands: $textra"
603 $textra" "$filename_input" >"$filename_xtr"
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2dvi 60 textra= # Extra TeX commands to insert in the input file.
1320 # insert_commands - Insert $textra commands at the beginning of the file.
1324 if test -n "$textra"; then
1329 verbose "Inserting extra commands: $textra"
1342 $textra" "$in_input" >"$in_xtr"
1821 -t | --texinfo | --command ) shift; textra="$textra\\
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2dvi 60 textra= # Extra TeX commands to insert in the input file.
1320 # insert_commands - Insert $textra commands at the beginning of the file.
1324 if test -n "$textra"; then
1329 verbose "Inserting extra commands: $textra"
1342 $textra" "$in_input" >"$in_xtr"
1821 -t | --texinfo | --command ) shift; textra="$textra\\

Completed in 37 milliseconds