diff options
author | Gintas Grigelionis <gintas@apache.org> | 2018-03-11 14:17:46 +0100 |
---|---|---|
committer | Gintas Grigelionis <gintas@apache.org> | 2018-03-11 14:17:46 +0100 |
commit | e2fc2fd278beb0efab8318f196298c23842d731d (patch) | |
tree | 31897b31ddd0055036cc0de20ab5a4ab407cd7b9 /manual/properties.html | |
parent | 6328de7a2afd24d0a1e603bc4ce49f130912a254 (diff) | |
download | ant-e2fc2fd278beb0efab8318f196298c23842d731d.tar.gz |
More markup adjustments
Diffstat (limited to 'manual/properties.html')
-rw-r--r-- | manual/properties.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/properties.html b/manual/properties.html index 83437ad99..d2a791c8d 100644 --- a/manual/properties.html +++ b/manual/properties.html @@ -69,7 +69,7 @@ <dd>the version of Ant</dd> <dt><code>ant.project.name</code></dt> <dd>the name of the project that is currently executing; it is set in the <var>name</var> - attribute of <project>.</dd> + attribute of <code><project></code>.</dd> <dt><code>ant.project.default-target</code></dt> <dd>the name of the currently executing project's default target; it is set via the <var>default</var> attribute of <code><project></code>.</dd> |