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>

diff --git a/debian/rules b/debian/rules
index e273c4d65852b7f17bcfb169bc591a3d4d76cbe0..09dffca8428cdf8b13d5ae3afe4177c8c302fd32 100755 (executable)
--- 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