[netbeans] 09/12: debian/copyright: Add license for html5doc.zip.

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo-guest pushed a commit to branch master
in repository netbeans.

commit 08fb7ececef0b8ae67a3bfc1857865f12531a011
Author: Markus Koschany <apo at debian.org>
Date:   Tue Jan 5 12:34:23 2016 +0100

    debian/copyright: Add license for html5doc.zip.
---
 debian/copyright | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/debian/copyright b/debian/copyright
index c0b0988..5496056 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -745,6 +745,10 @@ Files:     php.samples/samples_src/TodoList/web/css/redmond/jquery-ui-1.8.16.cus
 Copyright: 2011 AUTHORS.txt (http://jqueryui.com/about)
 License:   Expat or GPL-2+
 
+Files: html.parser/external/html5doc.zip
+Copyright: 2004-2010 Apple Computer, Inc., Mozilla Foundation, and Opera Software ASA.
+License: WHATWG-HTML-5-spec-License
+ You are granted a license to use, reproduce and create derivative works of this document.
 
 License: GPL-2+
  On Debian systems the full text of the GNU General Public License can be

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/netbeans.git