Regenerated manual pdf and html files.