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

~/infrastructure is a symlink to ~/CGAL/branches/local-master.git where I
can modify files
---
 .../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 4e682ab1451..c383fc404b4 100755
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@@ -1,6 +1,6 @@
 #!/bin/zsh
 
-cd $HOME/CGAL/next/Maintenance/infrastructure/cgal.geometryfactory.com/
+cd $HOME/infrastructure
 crontab -l >| crontab
 if [ -d ../../../.git ]; then
     git pull --quiet