Updated pdf and html manuals