From ac0696b5d2aa04c3634937a0403e073434a6d771 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 10 Mar 2020 14:53:38 +0000
Subject: [PATCH] packaging: Add missing reference to GPL in common-licenses

Prompted by lintian.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 debian/copyright.tail | 3 +++
 debian/rules          | 4 +++-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 debian/copyright.tail

diff --git a/debian/copyright.tail b/debian/copyright.tail
new file mode 100644
index 0000000..07491c8
--- /dev/null
+++ b/debian/copyright.tail
@@ -0,0 +1,3 @@
+ .
+ On Debian systems a copy of the GPLv3 can be found in
+ /usr/share/common-licenses/GPL-3
diff --git a/debian/rules b/debian/rules
index 867ea35..8acaaec 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,8 +9,10 @@ export prefix=/usr
 %:
 	dh $@
 
-debian/copyright: debian/copyright.head README debian/rules
+debian/copyright: debian/copyright.head debian/copyright.tail \
+			 README debian/rules
 	cat >$@.tmp debian/copyright.head
 	sed >>$@.tmp <README -n \
 		'/^Legal information$$/,$$ { s/^$$/./; s/^/ /; p; }'
+	cat >>$@.tmp debian/copyright.tail
 	mv -f $@.tmp $@
-- 
2.30.2