OSDN Git Service

* update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2007 16:33:38 +0000 (16:33 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2007 16:33:38 +0000 (16:33 +0000)
commit0d92a30690fcb5f655a82ea2609aee2ba03022d3
treed5796f3d1af1334301957d62826fcfa761736811
parentdb1c99deee13fafacd47e6dda0ecdc5c7c80aa83
* update_web_docs_svn: Use -o with makeinfo, texi2dvi and texi2pdf
commands.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126420 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn