diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-12-03 18:15:22 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:57 +0200 |
| commit | a0e81d1ebfbf11bc056f729242e8565f177afa95 (patch) | |
| tree | 9991d891831feac64fe7246c4e14eeede89f4ae2 /debian/postinst | |
| parent | 7cae3087c16f0432023b624b5b3c11eb04c096c5 (diff) | |
2006-12-03 Thomas Schwinge <tschwinge@gnu.org>
[bug #17120 --- ``GNU Mach debian dir'']
* debian/README.Debian: Remove file.
* debian/changelog: Likewise.
* debian/control: Likewise.
* debian/copyright: Likewise.
* debian/postinst: Likewise.
* debian/prerm: Likewise.
* debian/rules: Likewise.
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 |