Update files for deb docs