Documentation changes to reflect HTML docs now in CVS, and new generated files