From 72a57e61e86cde90d226a36e759abdec3fb19ec2 Mon Sep 17 00:00:00 2001
From: Matt Wringe <mwringe@fedoraproject.org>
Date: Fri, 22 Feb 2008 22:29:19 +0000
Subject: [PATCH] cvs rm old patches that are no longer used

---
 jflex-CharSet_java.patch  | 21 ---------------------
 jflex-Makefile.patch      | 33 ---------------------------------
 jflex-StateSet_java.patch | 21 ---------------------
 3 files changed, 75 deletions(-)
 delete mode 100644 jflex-CharSet_java.patch
 delete mode 100644 jflex-Makefile.patch
 delete mode 100644 jflex-StateSet_java.patch

diff --git a/jflex-CharSet_java.patch b/jflex-CharSet_java.patch
deleted file mode 100644
index b858b81..0000000
--- a/jflex-CharSet_java.patch
+++ /dev/null
@@ -1,21 +0,0 @@
---- ./src/JFlex/CharSet.java.orig	2007-04-02 11:03:11.000000000 -0400
-+++ ./src/JFlex/CharSet.java	2007-04-02 11:03:47.000000000 -0400
-@@ -94,14 +94,14 @@
-   }
-   
-   public String toString() {
--    CharSetEnumerator enum = characters();
-+    CharSetEnumerator enumer = characters();
- 
-     StringBuffer result = new StringBuffer("{");
- 
--    if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());
-+    if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());
- 
--    while ( enum.hasMoreElements() ) {
--      int i = enum.nextElement();
-+    while ( enumer.hasMoreElements() ) {
-+      int i = enumer.nextElement();
-       result.append( ", "+(int)i);
-     }
- 
diff --git a/jflex-Makefile.patch b/jflex-Makefile.patch
deleted file mode 100644
index 4236dbe..0000000
--- a/jflex-Makefile.patch
+++ /dev/null
@@ -1,33 +0,0 @@
---- src/Makefile.sav	2001-10-08 05:57:06.000000000 -0400
-+++ src/Makefile	2007-02-13 10:50:00.000000000 -0500
-@@ -3,14 +3,16 @@
- JFLEX     = jflex -skel skeleton.nested
- CUP       = java java_cup.Main 
- 
--JAVAC     = javac -target 1.1 -bootclasspath /usr/lib/jdk1.1/lib/classes.zip
-+JAVAC     = javac -target 1.4 -bootclasspath /usr/lib/jvm/java/jre/lib/rt.jar
- #JAVAC     = jikes   
- JAR       = jar
- 
-+JAVADOC   = javadoc
-+
- DEST      = ../lib
- 
- # jdk 1.2 
--CLPATH    = -classpath /usr/lib/java/jre/lib/rt.jar:.
-+CLPATH    = -classpath /usr/lib/jvm/java/jre/lib/rt.jar:.
- 
- # jdk 1.1
- #CLPATH    = -classpath /usr/lib/java/lib/classes.zip:.
-@@ -58,6 +60,10 @@
- 
- jar: jarclean
- 	echo "Main-Class: JFlex.Main" > $(DEST)/manifest
--	cd $(DEST); $(JAR) -c0mf manifest $(JARFILE) JFlex java_cup
-+	cd $(DEST); $(JAR) -cmf manifest $(JARFILE) JFlex java_cup
- 	rm -rf $(DEST)/java_cup $(DEST)/JFlex $(DEST)/manifest
- 
-+javadoc: 
-+	$(JAVADOC) -sourcepath . -d ../api JFlex
-+
-+
diff --git a/jflex-StateSet_java.patch b/jflex-StateSet_java.patch
deleted file mode 100644
index c277f5d..0000000
--- a/jflex-StateSet_java.patch
+++ /dev/null
@@ -1,21 +0,0 @@
---- ./src/JFlex/StateSet.java.orig	2007-04-02 11:04:11.000000000 -0400
-+++ ./src/JFlex/StateSet.java	2007-04-02 11:04:38.000000000 -0400
-@@ -276,14 +276,14 @@
- 
-   
-   public String toString() {
--    StateSetEnumerator enum = states();
-+    StateSetEnumerator enumer = states();
- 
-     StringBuffer result = new StringBuffer("{");
- 
--    if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());
-+    if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());
- 
--    while ( enum.hasMoreElements() ) {
--      int i = enum.nextElement();
-+    while ( enumer.hasMoreElements() ) {
-+      int i = enumer.nextElement();
-       result.append( ", "+i);
-     }
-