diff --git a/docs/manual/CoreTasks/basename.html b/docs/manual/CoreTasks/basename.html index e238c1dcc..f038e2365 100644 --- a/docs/manual/CoreTasks/basename.html +++ b/docs/manual/CoreTasks/basename.html @@ -58,7 +58,7 @@ a relative-path filename (eg., lib/myjar.jar), or a simple filename (eg., myjar.jar).
 <basename property="cmdname" file="D:/usr/local/foo.exe"
-         suffix=".exe"/>
+          suffix=".exe"/>
 
will set cmdname to foo.
diff --git a/docs/manual/CoreTasks/chmod.html b/docs/manual/CoreTasks/chmod.html
index 2f779e3de..a87dc70cf 100644
--- a/docs/manual/CoreTasks/chmod.html
+++ b/docs/manual/CoreTasks/chmod.html
@@ -99,14 +99,14 @@ href="../CoreTypes/filelist.html">filelists.

Examples

-
-

<chmod file="${dist}/start.sh" perm="ugo+rx"/>

-
+
+<chmod file="${dist}/start.sh" perm="ugo+rx"/>
+

makes the "start.sh" file readable and executable for anyone on a UNIX system.

-
-

<chmod file="${dist}/start.sh" perm="700"/>

-
+
+<chmod file="${dist}/start.sh" perm="700"/>
+

makes the "start.sh" file readable, writable and executable only for the owner on a UNIX system.

@@ -145,7 +145,7 @@ permissions.

</dirset> </chmod>
-
blockquote> +

keeps non-owners from touching cgi scripts, files with a .old extension or directories beginning with private_. A directory