Final PATCH for Re: IMPORTANT 3.0 PATCH: gcc_release

[Mark Mitchell]

> Perhaps we should have a Makefile target that rebuilds all man-pages
> from scratch?  Along the same lines, should `make all' and `make
> bootstrap' also ensure that man-pages are up-to-date, rebuilding them
> if needed?

I believe that `make bootstrap' should build all the documentation.
It's part of the program; we should get in the habit of building
it all the time.

Of course, for the release, we don't want to make that kind of change
just now.  Would you be willing to manually regenerate the man
pages and check them in, on the branch?

Thanks,

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com