+ if [ -f $$DNAME3 ]; then \
+ /bin/echo -n "WARNING: $$DNAME3 already exists! Overwrite? "; \
+ read line; \
+ if [ "x$$line" != "xyes" -a "x$$line" != "xy" ]; then \
+ exit 1 ; \
+ fi ; \
+ fi ; \
+ \
+ git tag -a "v$$VERS" -m "$$VERS" ; \
+ git commit -m "$$VERS" . ; \
+ \
+ ( cd $$DEST ; git pull ) ; \
+ \