Fix debian docs files