diff options
| author | Steven Knight <knight@baldmt.com> | 2010-04-27 15:15:23 (GMT) |
|---|---|---|
| committer | Steven Knight <knight@baldmt.com> | 2010-04-27 15:15:23 (GMT) |
| commit | 22ea814ba336a4baf92fb8f427e893a5fd565ac6 (patch) | |
| tree | 15b8049f514e1de9d4eb179b797f101f617c4f12 | |
| parent | 2326260437a0b6154e3fe4b9f2a7a492e88fda5c (diff) | |
| download | SCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.zip SCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.tar.gz SCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.tar.bz2 | |
Restore </example> tags mistakenly deleted along with 1.5.2 code.
| -rw-r--r-- | doc/user/tasks.in | 3 | ||||
| -rw-r--r-- | doc/user/tasks.xml | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/user/tasks.in b/doc/user/tasks.in index bf6b5ee..8823189 100644 --- a/doc/user/tasks.in +++ b/doc/user/tasks.in @@ -53,6 +53,7 @@ filename = os.path.splitext(filename)[0]+extension import os.path filenames = [os.path.join(prefix, x) for x in filenames] </programlisting> +</example> <example> <title>Substituting a path prefix with another one</title> @@ -60,6 +61,7 @@ filenames = [os.path.join(prefix, x) for x in filenames] if filename.find(old_prefix) == 0: filename = filename.replace(old_prefix, new_prefix) </programlisting> +</example> <example> <title>Filtering a filename list to exclude/retain only a specific set @@ -68,6 +70,7 @@ of extensions</title> import os.path filenames = [x for x in filenames if os.path.splitext(x)[1] in extensions] </programlisting> +</example> <example> <title>The "backtick function": run a shell command and capture the diff --git a/doc/user/tasks.xml b/doc/user/tasks.xml index bf6b5ee..8823189 100644 --- a/doc/user/tasks.xml +++ b/doc/user/tasks.xml @@ -53,6 +53,7 @@ filename = os.path.splitext(filename)[0]+extension import os.path filenames = [os.path.join(prefix, x) for x in filenames] </programlisting> +</example> <example> <title>Substituting a path prefix with another one</title> @@ -60,6 +61,7 @@ filenames = [os.path.join(prefix, x) for x in filenames] if filename.find(old_prefix) == 0: filename = filename.replace(old_prefix, new_prefix) </programlisting> +</example> <example> <title>Filtering a filename list to exclude/retain only a specific set @@ -68,6 +70,7 @@ of extensions</title> import os.path filenames = [x for x in filenames if os.path.splitext(x)[1] in extensions] </programlisting> +</example> <example> <title>The "backtick function": run a shell command and capture the |