mirror of https://github.com/CGAL/cgal
Patch the generated Doxygen documentation, for BGL
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
This commit is contained in:
parent
5dc1b3e30d
commit
02e23e85f5
|
|
@ -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"
|
[ -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 "$PUBLIC_RELEASE_DIR"/*(.) "${RELEASE_CANDIDATES_DIR}/$PUBLIC_RELEASE_NAME"
|
||||||
cp -a "$MANUAL_TESTS_DIR/$INTERNAL_RELEASE"/output/* "$DEST_DIR/doc_html"
|
rsync -a "$MANUAL_TESTS_DIR/$INTERNAL_RELEASE"/output/* "$DEST_DIR/doc_html/"
|
||||||
cp -a "$DEST_DIR/doc_html" "$DEST_DIR/doc_html_online"
|
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"
|
printf "Modify \"../../MathJax\" to MathJax CDN in doc_html...\n"
|
||||||
pushd "$DEST_DIR/doc_html"
|
pushd "$DEST_DIR/doc_html"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue