From 9eb7ac638e59461c17491e2ab7b6e75288bcec2d Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 21:56:57 -0500 Subject: Don’t reference a nonexistent upstream LICENSE file MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Use the Debian copyright file instead. --- debian/patches/series | 1 + debian/patches/use-debian-paths.diff | 15 +++++++++++++++ 2 files changed, 16 insertions(+) create mode 100644 debian/patches/series create mode 100644 debian/patches/use-debian-paths.diff diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..5df8e5d --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +use-debian-paths.diff diff --git a/debian/patches/use-debian-paths.diff b/debian/patches/use-debian-paths.diff new file mode 100644 index 0000000..7db995e --- /dev/null +++ b/debian/patches/use-debian-paths.diff @@ -0,0 +1,15 @@ +Description: Use Debian's copyright file + Don't reference a nonexistent upstream LICENSE file. +Author: Benjamin Barenblat +Forwarded: not-needed +--- a/README ++++ b/README +@@ -25,7 +25,7 @@ COPYRIGHT: + The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007, + 2008, 2009, 2010, 2011, 2012, 2013, 2014 Institut National de Recherche en + Informatique et en Automatique (INRIA). It is distributed under the +-conditions stated in file LICENSE. ++conditions stated in file /usr/share/doc/compcert/copyright. + + + CONTACT: -- cgit v1.2.3