src/packaging/Debian/movefiles

   1 #!/bin/sh -e
   2
   3
   4 # This script reads in  a set of lines in the form
   5 # destination sources
   6 # andmoves sources to destination
   7 # destination is relative to the debian directory
   8
   9 while read dest srcs ; do
  10     mkdir -p debian/$dest ||true
  11     for foo in $srcs; do
  12         cp -rp  dest/$foo debian/$dest
  13             done
  14 done