remove link to manual

The manual is not updated since 2011 and should not be pointed to any
more.