[PATCH] obvious changes to doc/install.texi

[Gerald Pfeifer]

On Fri, 30 Aug 2002, Janis Johnson wrote:
> 2002-08-30  Janis Johnson  <janis187@us.ibm.com>
>
> 	* doc/install.texi (Configuration, Building): Fix a typo and
> 	some formatting directives.

Thanks!  Would this be another candidate for moving to the 3.2 branch?

(I'm trying not to send duplicate notes wrt. the overview mail I responded
to yesterday, sorry if there are any duplicate nevertheless.)

Thanks for all the work you have been doing on the docs, especially in the
last few weeks!

Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/