diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2024-02-01 20:28:37 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2024-02-01 21:34:16 +0000 |
commit | c713519000645944b83bae8ed80ea482112af48f (patch) | |
tree | 2d96cb34cc9c9054c8728d39304d18fdeac8ff9d | |
parent | 082afa556a2180ab919ee931ad77aa66bd86b965 (diff) |
Copyright: *don't* ship LICENCE.txt as a separate file in /usr/share
It's the same as the copyright file.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | debian/rules | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index e273c4d..09dffca 100755 --- a/debian/rules +++ b/debian/rules @@ -1,7 +1,15 @@ #!/usr/bin/make -f +SHELL=/bin/bash + %: dh "$@" override_dh_autoreconf: dh_autoreconf ./autogen.sh + +execute_after_dh_installdocs: + @# This is the same as debian/copyright + @# We make a symlink since it's referred to by the executable + cmp debian/innduct/usr/share/doc/innduct/{copyright,LICENCE.txt} + ln -sf copyright debian/innduct/usr/share/doc/innduct/LICENCE.txt |