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/Makefile b/Makefile
index eaab421a1ca55df05666ff67e0a107c4caacf4ac..e26da5dc9bfcd576912ec67a11958a6b67bd0586 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ DISTTAR = $(DISTDIR).tar.gz
 distdir:
        rm -rf $(DISTDIR)
        mkdir $(DISTDIR)
-       ln $(SOURCES) $(MAN1) Makefile $(DISTDIR)
+       ln $(SOURCES) $(MAN1) Makefile COPYING $(DISTDIR)
        mkdir $(DISTDIR)/debian
        ln debian/rules debian/copyright debian/changelog debian/control \
          debian/*.install $(DISTDIR)/debian