User manual indexing maintenance.
User manual indexing maintenance.

2015-10-12  Didier Verna  <didier@didierverna.net>

	* doc/user.texi: More indexing and cross-references.

didierverna/focus,didierverna/focus