Unreviewed patches for 3.2

[Rainer Orth]

DJ Delorie writes:

> > * 3.2 PATCH: New install.info and install.dvi targets
> > 
> > 	http://gcc.gnu.org/ml/gcc-patches/2002-05/msg00292.html
> 
> This one is OK by me, but please coordinate with the doc maintainers
> before committing it to make sure (1) the purpose still applies, and
> (2) in case the auto-web-doc-update scripts need to change at the same
> time.

This patch has gone through tree iterations to incorporate Joseph's
comments and avoid problems with the web doc procedure, so it should be
safe to apply now.

Joseph, Gerald, any further comments or objections?

	Rainer