OSDN Git Service

* update_web_docs_svn: Redirect output of texi2dvi to /dev/null.
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Apr 2009 13:30:49 +0000 (13:30 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Apr 2009 13:30:49 +0000 (13:30 +0000)
commit53e3c41fe21af63a29d998a60ab72af23f514c9d
treeb22e3974d3d904333d7b811588cccd79bbaac371
parent690b203025ca452da85ae9b12e3f91ad313bee82
* update_web_docs_svn: Redirect output of texi2dvi to /dev/null.

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