Fix for bug #983 (Packed jQuery doesn't have a license at the top of …

…the file.)
jquery · May 20, 2007 · 5e964a4a734177c7359735b893e2d6ce5abaedbd · 5e964a4
1 parent 9b5363b
commit 5e964a4a734177c7359735b893e2d6ce5abaedbd
Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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") {