removed generation of HTML documentation as I couldn't find a usage