diff --git a/docs/manual/CoreTasks/concat.html b/docs/manual/CoreTasks/concat.html index 352985e97..ce395c29d 100644 --- a/docs/manual/CoreTasks/concat.html +++ b/docs/manual/CoreTasks/concat.html @@ -43,7 +43,7 @@ If not specified the console will be used instead. - No, + No @@ -96,7 +96,7 @@

Concatenate a string to a file:

-  <concat tofile="README">Hello, World!</concat>
+  <concat destfile="README">Hello, World!</concat>
       

Concatenate a series of files to the console:

@@ -110,7 +110,7 @@

Concatenate a single file, appending if the destination file exists:

-  <concat tofile="NOTES" append="true">
+  <concat destfile="NOTES" append="true">
     <filelist dir="notes" files="note.txt" />
   </concat>
       
@@ -119,7 +119,7 @@ destination file exists:

-  <concat tofile="${docbook.dir}/all-sections.xml">
+  <concat destfile="${docbook.dir}/all-sections.xml">
     <filelist dir="${docbook.dir}/sections" 
          files="introduction.xml,overview.xml" />
     <fileset dir="${docbook.dir}"