OSDN Git Service

* update_web_docs: Handle -r and -d options to generate docs for a
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Mar 2001 23:05:06 +0000 (23:05 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 17 Mar 2001 23:05:06 +0000 (23:05 +0000)
commitfcf12682a3779e7a22bc08e192c7f05152541fe7
tree1fa43c207c14d1eeeaa5b18aca56c6dd821695e9
parent0368b420df4e97031ec05cab374d86fada43d837
* update_web_docs: Handle -r and -d options to generate docs for a
release or branch in a subdirectory.  Determine names of G77 news
and bugs files and contributors file after updated docs have been
installed, not before.  Don't remove files from a subdirectory.
Don't generate manuals for gcov (included in the GCC manual) or
iostream (obsolete).  Do generate manuals for cppinternals, gcj
and porting.  Update regular expressions for detecting whether
files have really changed when regenerated.

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