mirror of https://github.com/CGAL/cgal
New location of manual files
This commit is contained in:
parent
155b74bfe5
commit
1933048299
|
|
@ -76,7 +76,7 @@ popd
|
||||||
printf "Now use:\n"
|
printf "Now use:\n"
|
||||||
printf " cd ${DEST_DIR}\n"
|
printf " cd ${DEST_DIR}\n"
|
||||||
printf " mv cgal_manual.zip /var/CGAL/www/%s/Manual/\n" "${PUBLIC_RELEASE_NAME#CGAL-}"
|
printf " mv cgal_manual.zip /var/CGAL/www/%s/Manual/\n" "${PUBLIC_RELEASE_NAME#CGAL-}"
|
||||||
printf " rsync --compress -av doc_html examples include %s:www.cgal.org/Manual/%s\n" \
|
printf " rsync --compress -av doc_html examples include %s:/www/inf-websites/doc.cgal.org/Manual/%s\n" \
|
||||||
cgal@contact.mpi-inf.mpg.de \
|
cgal@contact.mpi-inf.mpg.de \
|
||||||
"${PUBLIC_RELEASE_NAME#CGAL-}"
|
"${PUBLIC_RELEASE_NAME#CGAL-}"
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue