diff options
| author | Guillem Jover <guillem@debian.org> | 2004-09-20 12:17:46 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2004-09-20 12:17:46 +0000 |
| commit | f914fbcec2b4c23e0936cb29a44a4ec9abacb18c (patch) | |
| tree | 3c4f97477f4c9e4acf7dc69b1f3faad2f37b32bd /debian/postinst | |
| parent | 0dc2ac646f6770df38c16287de9802e41b358e19 (diff) | |
Switched to debhelper.
Diffstat (limited to 'debian/postinst')
| -rw-r--r-- | debian/postinst | 3 |
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 |