debian/README.Debian.html
debian/virtualbox.files/NEWS.Debian
out/bin/UserManual.*