diff options
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r-- | documentation/dev-manual/dev-manual-common-tasks.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml index fc276e51ee..0476c5a5f1 100644 --- a/documentation/dev-manual/dev-manual-common-tasks.xml +++ b/documentation/dev-manual/dev-manual-common-tasks.xml @@ -10612,7 +10612,7 @@ mkdir -p $src_release_dir/$p/source cp $d/* $src_release_dir/$p/source 2> /dev/null mkdir -p $src_release_dir/$p/license - cp tmp/deploy/licenses/$p/* source-release/$p/license 2> /dev/null + cp tmp/deploy/licenses/$p/* $src_release_dir/$p/license 2> /dev/null fi done done </literallayout> |