Document compatibility with Texinfo 5.

2013-08-24  Didier Verna  <didier@didierverna.net>

	* doc/user.texi (Introduction):
	* doc/generate.cl: Document compatibility with Texinfo 5.