2002-08-13  Jonathan Wakely  <jw@kayari.org>
            Phil Edwards  <pme@gcc.gnu.org>

	* docs/html/documentation.html:  Use HTML entities for punctuation.

Co-Authored-By: Phil Edwards <pme@gcc.gnu.org>

From-SVN: r56257