summaryrefslogtreecommitdiff
path: root/debian/postinst
diff options
context:
space:
mode:
Diffstat (limited to 'debian/postinst')
-rw-r--r--debian/postinst3
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/postinst b/debian/postinst
deleted file mode 100644
index 5728608..0000000
--- a/debian/postinst
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh -e
-
-install-info --quiet --section "Kernel" "Kernel" /usr/share/info/mach.info