chiark / gitweb /
debian/: groupmanage: More installed now
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Apr 2017 11:25:27 +0000 (12:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Apr 2017 11:25:27 +0000 (12:25 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/rules

index c3a20ec..b84847b 100755 (executable)
@@ -67,7 +67,8 @@ override_dh_auto_install:
                rename 's/^/ucgi-/' *
        -
        set -e; cd debian/userv-groupmanage/usr/share/doc;      \
-               mv groupmanage userv-groupmanage
+               mv groupmanage userv-groupmanage;               \
+               rm userv-groupmanage/INSTALL
        -
        set -e; for p in userv-ipif userv-ucgi userv-groupmanage; do    \
                (cd debian/$$p/usr/share/doc;                   \
@@ -80,7 +81,7 @@ override_dh_auto_install:
        -
        rename 's/\.example$$//' $d/userv-ipif/etc/userv/vpn/*.example \
                $d/userv-dyndns/etc/userv/dyndns-service-users.example \
-               $d/userv-groupmanage/etc/groupmanage.conf.example
+               $d/userv-utils/etc/groupmanage.conf.example
        rename 's/\.distrib$$//' $d/*/etc/userv/services.d/*.distrib
        -
        mv $d/userv-utils/usr/bin/mailq $d/userv-utils/usr/bin/mailq.userv