diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-29 15:50:38 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-29 15:50:38 +0100 |
| commit | c7ed3af5765539e212ecd5f93bd7ea5f9785bc25 (patch) | |
| tree | 586ea369a93cb817c45c47dc2609ab58648f94ab /doc/user/file-removal.xml | |
| parent | c7665433b2004d2b404d6fb9d6fd064998486f63 (diff) | |
| parent | e2cfc8f485631bfd5f61d4af1921c7346a062875 (diff) | |
Merge branch 'release/debian/3.1.2+repack-1'debian/3.1.2+repack-1
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> |