diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-28 17:14:59 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-28 17:14:59 +0100 |
| commit | f01695e065adbca6531dbf3a28e8a707c49eba23 (patch) | |
| tree | 3574b43f98f25e7bbf9dfdcb3e90d54f23e8ae0c /doc/user/file-removal.xml | |
| parent | 10b9d3fe4386c06efbb4d971e4e307b89e254faa (diff) | |
| parent | 5fc601f5484c9463e3399c0e690db80b9c22386e (diff) | |
Merge branch 'feature/upstream' into develop
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> |