Fixes for the HTML user manual compilation.
The index.html file was not being created as the main page has changed from 'relax_user_manual.html' to 'The_relax_user_manual.html'.
Authored by: bugman 2014-11-14
Parent: [r26582]
Child: [r26584]
