From: Markus Koschany <apo@debian.org>
Date: Mon, 1 Oct 2018 14:26:11 +0200
Subject: manifest

Fix compatibility with Debian's cup version and use 0.11b version.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 3a74762..b513fa9 100644
--- a/build.xml
+++ b/build.xml
@@ -70,7 +70,7 @@
    <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" />
+	<attribute name="Class-Path" value="java-cup-0.11b-runtime.jar" />
       </manifest>
     </jar>
     <jar jarfile="${dist}/java-cup-11b-runtime.jar" basedir="${classes}" includes="java_cup/runtime/*">