diff options
author | joey <joey> | 2003-12-29 19:28:08 +0000 |
---|---|---|
committer | joey <joey> | 2003-12-29 19:28:08 +0000 |
commit | 37bd413a2803ccf42612a8629c107c0342d96264 (patch) | |
tree | 5a5e161e9f89cd867d0075f926d0892de8201929 | |
parent | a1f2dc0f983793387d9b3c558aee76b409809728 (diff) |
r1632: * Clarify dh_install's autodest behavior with wildcards. Closes: #224707
-rw-r--r-- | autoscripts/postrm-init | 2 | ||||
-rw-r--r-- | autoscripts/prerm-info | 4 | ||||
-rwxr-xr-x | dh_install | 3 |
3 files changed, 6 insertions, 3 deletions
diff --git a/autoscripts/postrm-init b/autoscripts/postrm-init index 9596dd97..1c292982 100644 --- a/autoscripts/postrm-init +++ b/autoscripts/postrm-init @@ -1,3 +1,3 @@ if [ "$1" = "purge" ] ; then - update-rc.d #SCRIPT# remove #INITPARMS# >/dev/null + update-rc.d #SCRIPT# remove >/dev/null fi diff --git a/autoscripts/prerm-info b/autoscripts/prerm-info index b3f53ccd..6d13234e 100644 --- a/autoscripts/prerm-info +++ b/autoscripts/prerm-info @@ -1 +1,3 @@ -install-info --quiet --remove #FILE# +if [ "$1" = remove ]; then + install-info --quiet --remove #FILE# +fi @@ -62,7 +62,8 @@ filename. So if the filename is debian/tmp/usr/bin, then that directory will be copied to debian/package/usr/. If the filename is debian/tmp/etc/passwd, it will be copied to debian/package/etc/. -Note that if you list only a filename on a line by itself in a +Note that if you list exactly one filename or wildcard-pattern on a line by +itself in a debian/package.install file, with no explicit destination, then dh_install will automatically guess the destination even if this flag is not set. |