Fix typo in manuals introduction.

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

	* doc/user.texi (Introduction):
	* doc/generate.cl: Fix typo.