From fbfe44ef4d693ed29952db7e47bc3e18fc3d0b4a Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Fri, 9 Nov 2012 08:39:25 +0000 Subject: [PATCH] Rewrite the path of some images, in dynsections.js --- Documentation/html_output_post_processing.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Documentation/html_output_post_processing.py b/Documentation/html_output_post_processing.py index 3e1d3dad87d..22f8e29930e 100755 --- a/Documentation/html_output_post_processing.py +++ b/Documentation/html_output_post_processing.py @@ -219,6 +219,12 @@ removes some unneeded files, and performs minor repair on some glitches.''') for fn in filesjs_files: re_replace_in_file('^.*\[ "Concepts",.*$', '', fn) + dynsections_files=glob.glob('./CGAL.CGAL.*/html/dynsections.js') + for fn in filesjs_files: + re_replace_in_file("'src','ftv2", + "'src','../../CGAL.CGAL/html/ftv2", + fn) + # external is placed by doxygen to mark a class from a tagfile, this # is more confusing then helpful in our case