From 5e964a4a734177c7359735b893e2d6ce5abaedbd Mon Sep 17 00:00:00 2001
From: John Resig <jeresig@gmail.com>
Date: Sun, 20 May 2007 16:42:42 +0000
Subject: [PATCH] Fix for bug #983 (Packed jQuery doesn't have a license at the
 top of the file.)

---
 build/build/pack.js | 3 ++-
 src/intro.js        | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/build/build/pack.js b/build/build/pack.js
index 5706a218..6a04e722 100644
--- a/build/build/pack.js
+++ b/build/build/pack.js
@@ -12,7 +12,8 @@ var base62 = true;
 var shrink = true;
 
 var script = readFile(inFile);
+var header = script.match(/\/\*(.|\n)*?\*\//)[0];
 var packer = new Packer;
 var packedScript = packer.pack(script, base62, shrink);
 
-writeFile(outFile, packedScript);
+writeFile(outFile, header + "\n" + packedScript);
diff --git a/src/intro.js b/src/intro.js
index fc373ab5..9204081a 100644
--- a/src/intro.js
+++ b/src/intro.js
@@ -1,2 +1,2 @@
-/* prevent execution of jQuery if included more than once */
+// prevent execution of jQuery if included more than once
 if(typeof window.jQuery == "undefined") {