File _service:obs_scm:java_cup-build.patch of Package java_cup

--- build.xml~	2014-06-12 17:23:24.000000000 +0200
+++ build.xml	2015-06-23 10:30:57.374976304 +0200
@@ -17,18 +17,6 @@
     <mkdir dir="${java}" />
     <mkdir dir="${classes}" />
     <mkdir dir="${dist}" />
-    <loadfile property="cupversion" srcFile="version.txt"/>
-    <exec executable="svn" outputproperty="svnversion">
-      <arg value="info"/>
-      <redirector>
-	<outputfilterchain>
-	  <linecontains>
-	    <contains value="Revision"/>
-	  </linecontains>
-	  <deletecharacters chars="Revision: "/>
-        </outputfilterchain>
-      </redirector>
-    </exec>
   </target>
 
   <property environment="env" />
@@ -78,7 +66,6 @@
    <jar jarfile="${dist}/java-cup-11b.jar" basedir="${classes}">
       <manifest>
         <attribute name="Main-Class" value="java_cup/Main" />
-	<attribute name="Class-Path" value="java-cup-11b-runtime.jar" />
       </manifest>
     </jar>
     <jar jarfile="${dist}/java-cup-11b-runtime.jar" basedir="${classes}" includes="java_cup/runtime/*">
@@ -143,4 +130,10 @@
     <echo message="  versionbump    to inc release" />
   </target>
 
+  <target name="javadoc">
+    <mkdir dir="${dist}/javadoc"/>
+    <javadoc destdir="${dist}/javadoc" author="true" version="true" use="true" windowtitle="java_cup API">
+      <fileset dir="src" defaultexcludes="yes" />
+    </javadoc>
+  </target>
 </project>