Change debian doc files