diff --git a/.gitignore b/.gitignore index 07efdbf..ee681cb 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,9 @@ +javacc-4.1src.tar.gz +javacc.jar +javacc-5.0src.tar.gz +/javacc-6.1.2-sources.jar +/release_6_1_3.tar.gz +/7.0.1.tar.gz +/release_7_0_2.tar.gz /7.0.4.tar.gz +/7.0.5.tar.gz diff --git a/0001-Add-javadoc-target-to-build.xml.patch b/0001-Add-javadoc-target-to-build.xml.patch new file mode 100644 index 0000000..2132410 --- /dev/null +++ b/0001-Add-javadoc-target-to-build.xml.patch @@ -0,0 +1,25 @@ +From 8f1dda63b3e44835a0a88975b368c132f538fd4f Mon Sep 17 00:00:00 2001 +From: Michal Srb +Date: Tue, 30 Jul 2013 15:10:14 +0200 +Subject: [PATCH] Add javadoc target to build.xml + +--- + build.xml | 4 ++++ + 1 file changed, 4 insertions(+) + +diff --git a/build.xml b/build.xml +index 7337939..0b283c5 100644 +--- a/build.xml ++++ b/build.xml +@@ -538,4 +538,8 @@ THE POSSIBILITY OF SUCH DAMAGE. + + + ++ ++ ++ ++ + +-- +1.8.1.4 +