infra: Add a copy of the GPL.

diff --git a/.links b/.links
new file mode 100644 (file)
index 0000000..5ecd9c6
--- /dev/null
+++ b/.links
@@ -0,0 +1 @@
+COPYING

diff --git a/debian/rules b/debian/rules
index 4a41b31..76c99a0 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -43,8 +43,9 @@ source:
        pkg=`sed '1s!^\([^ ]*\) .*$$!\1!;2q' debian/changelog`; \
        ver=`sed '1s!^.* (\([0-9.]*\)) .*$$!\1!;2q' debian/changelog`; \
        mkdir -p =deb=/$$pkg-$$ver/debian
-       cp update-services update-services.8 merge-services \
-         merge-services.1 =deb=/*/
+       cp COPYING \
+         update-services update-services.8 \
+         merge-services merge-services.1 =deb=/*/
        cp debian/README debian/changelog debian/control debian/copyright \
          debian/postinst debian/prerm debian/rules =deb=/*/debian
        d=`pwd`; cd ..; dpkg-source -i -b $$d/=deb=/*