Deleting superfluous doc file