diff --git a/docs/manual/CoreTypes/filterchain.html b/docs/manual/CoreTypes/filterchain.html index 15d46acdd..1ea8ffbc2 100644 --- a/docs/manual/CoreTypes/filterchain.html +++ b/docs/manual/CoreTypes/filterchain.html @@ -379,7 +379,7 @@ user defined values.
<tstamp/> diff --git a/docs/manual/CoreTypes/filterset.html b/docs/manual/CoreTypes/filterset.html index a0a8b3cff..169d5f4a7 100644 --- a/docs/manual/CoreTypes/filterset.html +++ b/docs/manual/CoreTypes/filterset.html @@ -19,7 +19,6 @@ children ofendtoken
attributes to define what to match.Filtersets are used for doing replacements in tasks such as
-<copy>
, etc.Nested filters are possible and a message will be given in case a value in a filter chain is called for a second time and thus causing an infinite loop. The originating token will be passed back when an infinite loop occurs.
Filterset
@@ -33,14 +32,14 @@ replacements in tasks such as<copy>
, etc.begintoken The string marking the beginning of a token (eg., - +@date@
).@DATE@
).@ No @@ -55,7 +54,7 @@ replacements in tasks such as endtoken The string marking the end of a token (eg., - +@date@
).@DATE@
).@ No <copy>
, etc.token -The token to replace (eg., +@date@
)The token to replace (eg., @DATE@
)Yes @@ -85,22 +84,22 @@ replacements in tasks such as <copy>
, etc.You are copying the
+but wish to replace the tokenversion.txt
file to thedist
directory from thebuild
directory -but wish to replace the token@date@
with today's date.@DATE@
with today's date.<copy file="${build.dir}/version.txt" toFile="${dist.dir}/version.txt"> <filterset> - <filter token="date" value="${TODAY}"/> + <filter token="DATE" value="${TODAY}"/> </filterset> </copy>You are copying the
+but wish to replace the tokenversion.txt
file to thedist
directory from the build directory -but wish to replace the token%date*
with today's date.%DATE*
with today's date.<copy file="${build.dir}/version.txt" toFile="${dist.dir}/version.txt"> <filterset begintoken="%" endtoken="*"> - <filter token="date" value="${TODAY}"/> + <filter token="DATE" value="${TODAY}"/> </filterset> </copy>