mirror of https://github.com/CGAL/cgal
workaround doxygen bug
This commit is contained in:
parent
f00ff2dc6c
commit
5f62e73c65
|
|
@ -185,6 +185,11 @@ def automagically_number_figures():
|
||||||
#collect the list of packages in the package overview page,
|
#collect the list of packages in the package overview page,
|
||||||
#respecting the order of that page
|
#respecting the order of that page
|
||||||
all_packages=[]
|
all_packages=[]
|
||||||
|
if not path.isfile("./Manual/packages.html"):
|
||||||
|
stderr.write("Error: Figure numbering; ./Manual/packages.html does not exist\n")
|
||||||
|
return
|
||||||
|
|
||||||
|
|
||||||
d = pq(filename="./Manual/packages.html", parser='html', encoding='utf-8')
|
d = pq(filename="./Manual/packages.html", parser='html', encoding='utf-8')
|
||||||
for el in d('a.elRef'):
|
for el in d('a.elRef'):
|
||||||
text = pq(el).attr('href')
|
text = pq(el).attr('href')
|
||||||
|
|
@ -317,9 +322,10 @@ removes some unneeded files, and performs minor repair on some glitches.''')
|
||||||
|
|
||||||
# external is placed by doxygen to mark a class from a tagfile, this
|
# external is placed by doxygen to mark a class from a tagfile, this
|
||||||
# is more confusing then helpful in our case
|
# is more confusing then helpful in our case
|
||||||
|
if path.isfile(os.path.join('Manual','annotated.html')):
|
||||||
re_replace_in_file('\[external\]', '', os.path.join('Manual','annotated.html'))
|
re_replace_in_file('\[external\]', '', os.path.join('Manual','annotated.html'))
|
||||||
|
else:
|
||||||
|
stderr.write("Error: ./Manual/annotated.html does not exists\n")
|
||||||
# fix class/concept mismatch in generated pages
|
# fix class/concept mismatch in generated pages
|
||||||
relationship_pages=list(package_glob('./*/hasModels.html'))
|
relationship_pages=list(package_glob('./*/hasModels.html'))
|
||||||
relationship_pages.extend(package_glob('./*/generalizes.html'))
|
relationship_pages.extend(package_glob('./*/generalizes.html'))
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue