added com/jmex/pool-package to jme.jar and bugfixed "*.glf" to "*.gif"

git-svn-id: http://jmonkeyengine.googlecode.com/svn/trunk@4827 75d07b2b-3a1a-0410-a2c5-0572b91ccdca

diff --git a/build.xml b/build.xml
index f01ff0e..16d89b3 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -107,7 +107,7 @@
   <target name="dist-core" depends="compile, -enforce.jar.deps"
          description="generate jme jar file">
     <jar destfile="${jars}/jme.jar" basedir="${class}" update="no"
-         duplicate="fail" compress="true" includes="com/jme/**/*.class, com/jme/**/*.tga, com/jme/**/*.png, com/jme/**/*.glf, com/jme/**/*.vert, com/jme/**/*.frag" />
+         duplicate="fail" compress="true" includes="com/jme/**/*.class, com/jme/**/*.tga, com/jme/**/*.png, com/jme/**/*.gif, com/jme/**/*.vert, com/jme/**/*.frag,com/jmex/pool/**/*.class" />
   </target>
   <target name="dist-audio" depends="compile, -enforce.jar.deps"
           description="generate jme jar file (audio)">