infra: Add a copy of the GPL.

[preload-hacks] / Makefile

diff --git a/Makefile b/Makefile
index eaab421..e26da5d 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