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

  /src/external/gpl2/texinfo/dist/util/
texi2dvi 96 textra_cmd= # sed command to insert TEXTRA where appropriate
502 textra_cmd=1i
516 textra_cmd='/^@setfilename/a'
602 sed "$textra_cmd\\
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2dvi 1331 latex) textra_cmd=1i;;
1333 textra_cmd='/^\\input texinfo/a'
1336 textra_cmd='/^@setfilename/a'
1341 $SED "$textra_cmd\\
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2dvi 1331 latex) textra_cmd=1i;;
1333 textra_cmd='/^\\input texinfo/a'
1336 textra_cmd='/^@setfilename/a'
1341 $SED "$textra_cmd\\

Completed in 190 milliseconds