diff --git a/docs/index.html b/docs/index.html index 2fbd41437..7c7e696de 100644 --- a/docs/index.html +++ b/docs/index.html @@ -382,7 +382,7 @@ name of the operating system.

In addition Ant knows some built in properties: