diff options
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 1308f18..1ecd326 100644 --- a/make/build.xml +++ b/make/build.xml @@ -58,7 +58,7 @@ <!-- The source and build directories. --> <property name="project.root" value=".." /> <property name="src.java" value="${project.root}/src/java" /> - <property name="src.antlr" value="${project.root}/src/main/antlr" /> + <property name="src.antlr" value="${project.root}/src/antlr" /> <property name="build" location="${project.root}/${rootrel.build}" /> <property name="javadoc.root.path" location="${build}/javadoc" /> <property name="javadoc.gluegen.path" location="${javadoc.root.path}/gluegen/javadoc" /> |