[v3] documentation on cstdio and synchronization

[Joseph S. Myers]

On Mon, 9 Jul 2001, Phil Edwards wrote:

> 	* docs/html/configopts.html:  Link to it to provide more notes
> 	on cstdio.  Minor markup and spacing fixes.

This file still needs to be linked to from the main gcc/doc/install.texi.  
I'd rather if each libstdc++ configure option did get its own entry in
gcc/doc/install.texi as well, if only to say that this is a libstdc++
configure option and to see the libstdc++ docs.

(Note: ideally the link in the copy in release tarballs should be to the
local file, while that on gcc.gnu.org should be to the copy in onlinedocs,
but I don't know how you'd do that.)

-- 
Joseph S. Myers
jsm28@cam.ac.uk