Add LibreJS compatible JS licensing header.

diff --git a/js/scripts.js b/js/scripts.js
index 542de0ff527854a986b7dc4bd8e3130c390ae7ae..5b600750cbae5be5fc0bc9aaa544b086b02407f4 100644 (file)
--- a/js/scripts.js
+++ b/js/scripts.js
@@ -1,3 +1,27 @@
+/*
+ @licstart The following is the entire license notice for the
+    JavaScript code in this page.
+
+ Copyright © 2014 Free Software Foundation, Inc.
+
+ The JavaScript code in this page is free software: you can
+ redistribute it and/or modify it under the terms of the GNU
+ General Public License (GNU GPL) as published by the Free Software
+ Foundation, either version 3 of the License, or (at your option)
+ any later version. The code is distributed WITHOUT ANY WARRANTY;
+ without even the implied warranty of MERCHANTABILITY or FITNESS
+ FOR A PARTICULAR PURPOSE. See the GNU GPL for more details.
+
+ As additional permission under GNU GPL version 3 section 7, you
+ may distribute non-source (e.g., minimized or compacted) forms of
+ that code without the copy of the GNU GPL normally required by
+ section 4, provided you include this license notice and a URL
+ through which recipients can access the Corresponding Source.
+
+ @licend The above is the entire license notice
+    for the JavaScript code in this page.
+ */
+
 $(document).ready(function() {
   var SLIDE_DURATION = 400;