Add html and info versions of the manual.