Make configuration option indexing more readable.
Make configuration option indexing more readable.

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

	* doc/user.texi: Improve the @coindex macro.

didierverna/focus,didierverna/focus