diff --git a/debian/postrm b/debian/postrm
new file mode 100755
index 00000000..702bd222
--- /dev/null
+++ b/debian/postrm
@@ -0,0 +1,5 @@
+#! /bin/sh
+
+set -e
+
+install-info --quiet --remove find