home *** CD-ROM | disk | FTP | other *** search
- #! /bin/sh
- #
- # This shell script takes care of building manifest files for the
- # diffs, using the diffs and associated files in this directory.
-
- for dfile in *.diffs
- do
- base=`basename $dfile .diffs`
- rm -f /gnu/manifests/$base-diffs
- echo -n "/gnu/manifests/$base-diffs: "
- for fname in $base*
- do
-
- echo -n "src/diffs/$fname "
- echo "src/diffs/$fname" >>/gnu/manifests/$base-diffs
- done
- echo
- done
-