update d/docs

I updated debian/docs as some files have been removed or renamed.