diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-04-15 12:22:48 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-04-15 12:22:48 +0100 |
commit | fe20d6828ff2581abff1739d412099e021d68f94 (patch) | |
tree | f7180b68c304f3fbdb7a7e76004a05355c75b9e1 | |
parent | 22d4d881e3102cbed0ab21ef48c5fc821440191a (diff) | |
download | userv-utils-fe20d6828ff2581abff1739d412099e021d68f94.tar.gz |
debian/: Fix userv-ucgi docs rename
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index df89097..9bd3c33 100755 --- a/debian/rules +++ b/debian/rules @@ -63,7 +63,8 @@ override_dh_auto_install: - mv $d/userv-ipif/usr/share/doc/userv-ipif/{service.c.txt,ipif.txt} - - rename 's/^/ucgi-/' debian/userv-www-cgi/usr/share/doc/* + set -e; cd debian/userv-ucgi/usr/share/doc/userv-ucgi; \ + rename 's/^/ucgi-/' * - set -e; for p in userv-ipif userv-ucgi; do \ (cd debian/$$p/usr/share/doc; \ |