diff options
| -rwxr-xr-x | tools/move.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/move.sh b/tools/move.sh index 78c91994ab..91da9c7c2b 100755 --- a/tools/move.sh +++ b/tools/move.sh @@ -339,6 +339,7 @@ move_files() ( # auto-distribute the stuff ( + mv -t src/libsystemd man/sd* cd man for file in *.xml; do if [[ -d ../src/"${file%.xml}" ]]; then |