X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fautomake.mk;h=ba9ea861da7dbce57a2ac0aa3f130d26328e51e9;hb=722d19c504351a3e1a6f64e5a01ff9806eb089a4;hp=5a23d46326fcd92b34d3c404c0c0fa23cea2146a;hpb=3d92fe960c9ad10fab3978623e4f77045340c36b;p=openvswitch

diff --git a/debian/automake.mk b/debian/automake.mk
index 5a23d463..ba9ea861 100644
--- a/debian/automake.mk
+++ b/debian/automake.mk
@@ -4,6 +4,7 @@ EXTRA_DIST += \
 	debian/control \
 	debian/control.modules.in \
 	debian/copyright \
+	debian/copyright.in \
 	debian/corekeeper.cron.daily \
 	debian/corekeeper.init \
 	debian/corekeeper.override \
@@ -50,3 +51,12 @@ check-debian-changelog-version:
 	fi
 ALL_LOCAL += check-debian-changelog-version
 DIST_HOOKS += check-debian-changelog-version
+
+$(srcdir)/debian/copyright: AUTHORS debian/copyright.in
+	{ sed -n -e '/%AUTHORS%/q' -e p < $(srcdir)/debian/copyright.in;   \
+	  sed '1,/^$$/d' $(srcdir)/AUTHORS |				   \
+		sed -n -e '/^$$/q' -e 's/^/  /p';			   \
+	  sed -e '1,/%AUTHORS%/d' $(srcdir)/debian/copyright.in;	   \
+	} > $@
+
+DISTCLEANFILES += debian/copyright