summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorroktas <roktas@788f1e2b-df1e-0410-8736-df70ead52e1b>2006-12-23 10:08:31 +0000
committerroktas <roktas@788f1e2b-df1e-0410-8736-df70ead52e1b>2006-12-23 10:08:31 +0000
commit7fe2018a466b05f5e3f9e467efb775a8f6d3a59f (patch)
tree7f3d626de7faf143da4dea7900a3e5c34010341f /debian
parent54a7700bcb00caf239db98afbec6067c6eb5d742 (diff)
Lintian complains as follows:
E: pandoc-doc: copyright-should-refer-to-common-license-file-for-gpl N: N: The string "GNU General Public License" or "GPL" appears in the N: copyright file for this package, but the copyright file does not N: reference /usr/share/common-licenses as the location of the GPL on N: Debian systems. N: N: Refer to Policy Manual, section 12.5 for details. Add a short note to copyright file just to make lintian happy (which is probably not the most elegant solution). git-svn-id: https://pandoc.googlecode.com/svn/trunk@281 788f1e2b-df1e-0410-8736-df70ead52e1b
Diffstat (limited to 'debian')
-rw-r--r--debian/copyright3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/copyright b/debian/copyright
index 7240375ac..8848a7239 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -18,7 +18,8 @@ This code is released under the [GPL], version 2 or later:
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
The GNU General Public License is available in the file COPYING in
-the source distribution.
+the source distribution. On Debian systems, the complete text of the
+GPL can be found in `/usr/share/common-licenses/GPL`.
[GPL]: http://www.gnu.org/copyleft/gpl.html