Remove obsolete manual file.