diff --git a/Maintenance/public_release/scripts/prepare_release b/Maintenance/public_release/scripts/prepare_release index c82263af619..53203c46809 100755 --- a/Maintenance/public_release/scripts/prepare_release +++ b/Maintenance/public_release/scripts/prepare_release @@ -35,8 +35,11 @@ printf "Copy documentation to doc_html/ and doc_html_online/...\n" [ -d "/srv/CGAL/www/${PUBLIC_RELEASE_NAME#CGAL-}/Manual" ] || mkdir -p "/srv/CGAL/www/${PUBLIC_RELEASE_NAME#CGAL-}/Manual" cp "$PUBLIC_RELEASE_DIR"/*(.) "${RELEASE_CANDIDATES_DIR}/$PUBLIC_RELEASE_NAME" -cp -a "$MANUAL_TESTS_DIR/$INTERNAL_RELEASE"/output/* "$DEST_DIR/doc_html" -cp -a "$DEST_DIR/doc_html" "$DEST_DIR/doc_html_online" +rsync -a "$MANUAL_TESTS_DIR/$INTERNAL_RELEASE"/output/* "$DEST_DIR/doc_html/" +pushd "$DEST_DIR/doc_html/Manual/search" + for i in g n c s i; do sed -i "s/..\/BGL$i/..\/BGL\/$i/g" *; done +popd +rsync -a "$DEST_DIR/doc_html/" "$DEST_DIR/doc_html_online/" printf "Modify \"../../MathJax\" to MathJax CDN in doc_html...\n" pushd "$DEST_DIR/doc_html"