From b0a54c0318f73e8824c1299900286d1d7dcade3a Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sun, 7 Apr 2024 17:38:57 +0200
Subject: Adding debian version 5.2.15-2.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 debian/bash.prerm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 debian/bash.prerm

(limited to 'debian/bash.prerm')

diff --git a/debian/bash.prerm b/debian/bash.prerm
new file mode 100644
index 0000000..52052a2
--- /dev/null
+++ b/debian/bash.prerm
@@ -0,0 +1,22 @@
+#! /bin/bash
+
+set -e
+
+case "$1" in
+    upgrade)
+	update-alternatives --remove builtins.7.gz \
+	    /usr/share/man/man7/bash-builtins.7.gz
+	;;
+
+    remove|deconfigure)
+	;;
+
+    failed-upgrade)
+	;;
+    *)
+        echo "prerm called with unknown argument \`$1'" >&2
+        exit 1
+	;;
+esac
+
+#DEBHELPER#
-- 
cgit v1.2.3