Table of contents added to the manual.

Sometimes the generation of the Table of contents seems to fail and it
appears empty.
In this case, do "make" until the Table is generated properly.