diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2007-07-06 17:33:38 +0100 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2007-07-06 17:33:38 +0100 |
| commit | bb83237562576ca1561164715c5787c261b9fffe (patch) | |
| tree | d5796f3d1af1334301957d62826fcfa761736811 /gcc | |
| parent | 22867d02ee69bb1e472ffd142a36d81ad2eb9eb4 (diff) | |
| download | gcc-bb83237562576ca1561164715c5787c261b9fffe.zip gcc-bb83237562576ca1561164715c5787c261b9fffe.tar.gz gcc-bb83237562576ca1561164715c5787c261b9fffe.tar.bz2 | |
update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf commands.
* update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
commands.
From-SVN: r126420
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions