diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-28 17:12:41 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-28 17:12:41 +0100 |
| commit | 56597a6a68e741355b301f91d5913d59cfb34eaa (patch) | |
| tree | 7531e41faf62f126984bf05b8d712f99c9520d5d /doc/user/file-removal.xml | |
| parent | 56337453f0f3fbe34255e636d5d65974f4d17681 (diff) | |
New upstream version 3.1.2upstream/3.1.2upstream
Diffstat (limited to 'doc/user/file-removal.xml')
| -rw-r--r-- | doc/user/file-removal.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/file-removal.xml b/doc/user/file-removal.xml index fe38cf7..e772eeb 100644 --- a/doc/user/file-removal.xml +++ b/doc/user/file-removal.xml @@ -214,7 +214,7 @@ foo.in <file name="foo.log"> foo.log </file> - <file name="build" chmod="0755"> + <file name="build" chmod="0o755"> cat $3 > $2 </file> </scons_example> |