From 2f8be5406d68e3326e5d43829306befbc1c5e218 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Tue, 13 Nov 2012 13:56:04 +0100
Subject: [PATCH] Fix bin/dump_crontab

---
 .../infrastructure/cgal.geometryfactory.com/bin/dump_crontab    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
index 5aaf9e6e702..c86e155fd09 100755
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@@ -2,7 +2,7 @@
 
 cd $HOME/CGAL/next/Maintenance/infrastructure/cgal.geometryfactory.com/
 crontab -l >| crontab
-if [ -d .git ]; then
+if [ -d ../../../.git ]; then
     git pull 2> /dev/null
     git add crontab
     git commit -m 'updated crontab (automated commit)' && git push origin master