Improve cross-references output in different formats.

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

	* doc/user.texi (Introduction):
	* doc/generate.cl: Fix HTML xref output to the other manual.
	* INSTALL: Regenerate.