diff --git a/Maintenance/deb/README b/Maintenance/deb/README index a52ed373af4..3bf510cee4e 100644 --- a/Maintenance/deb/README +++ b/Maintenance/deb/README @@ -35,7 +35,7 @@ FTP server ---------- wget http://www.joachim-reichel.de/tmp/cgal-3.8.tar.bz2 -su AG1-CGAL +su cgal cd /ftp/pub/outgoing/CGAL/debian mv pool/non-free/c/cgal/* archive rm -fr dists pool