2001-05-30  Jeffrey Oldham  <address@hidden>
	
	* doc/dejagnu.texi: Fix typographical errors.
	* doc/ref.sgml: Likewise.
	* doc/user.sgml: Likewise.
	* doc/overview/builtins.html: Likewise.
	* doc/overview/customizing.html: Likewise.
	* doc/overview/global.html: Likewise.