diff --git a/docs/manual/using.html b/docs/manual/using.html
index 1418a7f6d..9f938b323 100644
--- a/docs/manual/using.html
+++ b/docs/manual/using.html
@@ -318,12 +318,20 @@ ant.project.invoked-targets
project.
ant.java.version the JVM version Ant detected; currently it can hold
the values "1.2", "1.3", "1.4" and "1.5".
+ant.core.lib the absolute path of the ant.jar
file.
There is also another property, but this is set by the launcher script and therefore maybe not set inside IDEs:
ant.home home directory of Ant+
The following property is only set if Ant is started via the + Launcher class (which means it may not be set inside IDEs + either):
++ant.library.dir the directory that has been used to load Ant's + jars from. In most cases this is ANT_HOME/lib. +