diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:56:57 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:56:57 -0500 |
| commit | 9eb7ac638e59461c17491e2ab7b6e75288bcec2d (patch) | |
| tree | 5fb8d75ae9945fdae0533d00887933a75cd24979 | |
| parent | 91dc7d56d4e974d65dec78b3d5a067c3ea93b7bf (diff) | |
Don’t reference a nonexistent upstream LICENSE file
Use the Debian copyright file instead.
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/use-debian-paths.diff | 15 |
2 files changed, 16 insertions, 0 deletions
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 <bbaren@mit.edu> +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: |