update_web_docs: Handle -r and -d options to generate docs for a release or branch...
authorJoseph Myers <jsm28@cam.ac.uk>
Sat, 17 Mar 2001 23:05:06 +0000 (23:05 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Sat, 17 Mar 2001 23:05:06 +0000 (23:05 +0000)
commit832013cdfa2192009e2c5c71509e3cad77dc8cc5
tree1fa43c207c14d1eeeaa5b18aca56c6dd821695e9
parentd148b6aa8712b23a0a90d793799abf59507122f7
update_web_docs: Handle -r and -d options to generate docs for a release or branch in a subdirectory.

* 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.

From-SVN: r40589
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs