From 02e23e85f5b327e7bafb47ec538e79f84db2bbb9 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau@cgal.org>
Date: Fri, 20 Feb 2015 15:02:59 +0100
Subject: [PATCH] Patch the generated Doxygen documentation, for BGL
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

There is a bug in our version of Doxygen. We have a temporary fix, from
Sébastien Loriot.

See also the pull request for Doxygen, from Sébastien:
  https://github.com/doxygen/doxygen/pull/296
---
 Maintenance/public_release/scripts/prepare_release | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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"