doc.*: path has changed

scripts/doc.py

@@ -6,7 +6,7 @@ from zipfile import BadZipFile, ZipFile
 from io import BytesIO
 import requests
 
-DOC = Path('/net/cetus/data/gepetto/Doc')
+DOC = Path('/net/pongo/vol/vol_projects/partage_gepetto/Doc')
 GITLAB = 'https://gepgitlab.laas.fr'
 RAINBOARD = 'http://rainboard.laas.fr'
 VERSION = '16.04'

scripts/doc.sh

@@ -4,7 +4,7 @@
 
 set -e
 
-cd /net/cetus/data/gepetto/Doc
+cd /net/pongo/vol/vol_projects/partage_gepetto/Doc
 
 for namespace in *; do
     pushd $namespace