diff options
-rwxr-xr-x | tools/move.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/move.sh b/tools/move.sh index 91da9c7c2b..57dd6ddb3e 100755 --- a/tools/move.sh +++ b/tools/move.sh @@ -341,9 +341,11 @@ move_files() ( ( mv -t src/libsystemd man/sd* cd man - for file in *.xml; do - if [[ -d ../src/"${file%.xml}" ]]; then - mv "$file" -t ../src/"${file%.xml}" + for file in *; do + if [[ -d ../src/"${file%%.*}" ]]; then + mv "$file" -t ../src/"${file%%.*}" + elif [[ -d ../src/"${file%%@*}" ]]; then + mv "$file" -t ../src/"${file%%@*}" fi done ) |