diff --git a/packaging/dpkg/debian/.gitignore b/packaging/dpkg/debian/.gitignore index c1d6b693e36..75421fee863 100644 --- a/packaging/dpkg/debian/.gitignore +++ b/packaging/dpkg/debian/.gitignore @@ -27,4 +27,3 @@ zeroc-icebox/* zeroc-icegrid/* zeroc-icegridgui/* zeroc-icepatch2/* - diff --git a/packaging/dpkg/debian/BuildInstructions.md b/packaging/dpkg/debian/BuildInstructions.md index 11604bbf323..e687ce13246 100644 --- a/packaging/dpkg/debian/BuildInstructions.md +++ b/packaging/dpkg/debian/BuildInstructions.md @@ -25,7 +25,6 @@ repository. ## Building the Ice packages - $ cd ice-debian-packaging $ gbp buildpackage diff --git a/packaging/dpkg/debian/README b/packaging/dpkg/debian/README index 120c3e791dc..00f867121f9 100644 --- a/packaging/dpkg/debian/README +++ b/packaging/dpkg/debian/README @@ -34,7 +34,6 @@ Feature highlights: communications through firewalls - IcePatch2, an efficient software distribution and patching service - Getting Started with Ice on Linux --------------------------------- diff --git a/packaging/dpkg/debian/libzeroc-ice3.8.postrm b/packaging/dpkg/debian/libzeroc-ice3.8.postrm index 95258e034df..633485bf2e4 100644 --- a/packaging/dpkg/debian/libzeroc-ice3.8.postrm +++ b/packaging/dpkg/debian/libzeroc-ice3.8.postrm @@ -4,7 +4,7 @@ set -e if [ "$1" = "purge" ]; then # We remove /var/lib/ice on purge rm -rf /var/lib/ice - + # Remove /var/lib/ice override dpkg-statoverride --remove /var/lib/ice >/dev/null 2>/dev/null || true