summaryrefslogtreecommitdiffstats
path: root/doc/user/tasks.in
diff options
context:
space:
mode:
authorSteven Knight <knight@baldmt.com>2010-04-27 15:15:23 (GMT)
committerSteven Knight <knight@baldmt.com>2010-04-27 15:15:23 (GMT)
commit22ea814ba336a4baf92fb8f427e893a5fd565ac6 (patch)
tree15b8049f514e1de9d4eb179b797f101f617c4f12 /doc/user/tasks.in
parent2326260437a0b6154e3fe4b9f2a7a492e88fda5c (diff)
downloadSCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.zip
SCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.tar.gz
SCons-22ea814ba336a4baf92fb8f427e893a5fd565ac6.tar.bz2
Restore </example> tags mistakenly deleted along with 1.5.2 code.
Diffstat (limited to 'doc/user/tasks.in')
-rw-r--r--doc/user/tasks.in3
1 files changed, 3 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