PR other/23693
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Sep 2005 22:06:07 +0000 (22:06 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Sep 2005 22:06:07 +0000 (22:06 +0000)
commit36813f7d8d1e46f92676f06a0f977170729fdbed
tree698a302b5ca8605621615883d8e222df7a5293c2
parent6cffc0378ceae14ffd239aa731e5c3106151aefd
PR other/23693
* update_web_docs: Add PDF support.  Correct check of DEV-PHASE.

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