diff -r de180fd32526 -r a9f1ba451247 java/dictionary-generator/build.xml
--- a/java/dictionary-generator/build.xml	Wed May 28 23:30:27 2014 +0200
+++ b/java/dictionary-generator/build.xml	Mon Jun 22 21:59:38 2020 +0200
@@ -51,8 +51,7 @@
       -init-macrodef-junit:     defines macro for junit execution
       -init-macrodef-debug:     defines macro for class debugging
       -init-macrodef-java:      defines macro for class execution
-      -do-jar-with-manifest:    JAR building (if you are using a manifest)
-      -do-jar-without-manifest: JAR building (if you are not using a manifest)
+      -do-jar:                  JAR building
       run:                      execution of project 
       -javadoc-build:           Javadoc generation
       test-report:              JUnit report generation