diff --git a/docs/external.html b/docs/external.html index 31d47f0b7..f1960e23a 100644 --- a/docs/external.html +++ b/docs/external.html @@ -7053,7 +7053,7 @@
The core idea is using property files which name accords to the os-name. Then simply use the build-in property os.name.
-For better use you should also provide a file with defaul values. +
For better use you should also provide a file with default values. But be careful with the correct os-names. For test simply <echo> the ${os.name} on all machines and you can be sure to use the right file names.