infra: Add a copy of the GPL.

[preload-hacks] / Makefile

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