don't double-install docs already installed by debian/docs