Remove obsolete doc file