3 . ./.jprojects.sh || exit 255
5 for project in ${LIST}; do
6 if [ -f "${project}/dist.sh" ]
8 echo "$0: Copying dist.sh to '${project}' ..."
9 cp -v dist.sh "${project}/" || exit 255
12 if [ ! -d "${project}/docs" -o "$1" = "f" ]
14 echo "$0: GNU-ifying project '${project}' ..."
15 cp -rv docs "${project}/" || exit 255
16 cd "${JPROJECTS_HOME}/${project}"
17 echo "$0: git add ..."
18 git add docs || exit 255
22 git mv docs/COPYING . || exit 255
23 cd "${JPROJECTS_HOME}"
25 echo "$0: Project '${project}' already prepared."