# shell script which is given arguments
# sourcedir destdir file1 file2 ... filen
# it generates a shell command to create those files based on
# the text that follows the command.
# the code will come from sourcedir/filei, it will go to
# destdir/filei when extracted
echo "cat > " $destdir/$argv[1] " << 'EndOfFile'"