remove an extra % in navtree

This commit is contained in:
Sébastien Loriot 2013-01-08 14:44:28 +01:00
parent bff30cfb03
commit 0e8f90a91e
1 changed files with 2 additions and 0 deletions

View File

@ -249,6 +249,8 @@ removes some unneeded files, and performs minor repair on some glitches.''')
# TODO count figures
write_out_html(d, fn)
# remove %CGAL in navtree: this should be a fix in doxygen but for now it does not worth it
re_replace_in_file('%CGAL','CGAL',glob.glob('./CGAL.CGAL/html/navtree.js')[0])
clean_doc()