search

GUDHI / gudhi-devel

The GUDHI library is a generic open source C++ library, with a Python interface, for Topological Data Analysis (TDA) and Higher Dimensional Geometry Understanding.
https://gudhi.inria.fr/
MIT License
246 stars 65 forks source link

New footer, header and style sheet with doxygen 1.9.5 #987

Closed VincentRouvreau closed 3 months ago

VincentRouvreau commented 9 months ago

cf. #986

mglisse commented 9 months ago

Out of curiosity, does updating these mean that doxygen 1.9.5 is the new minimum version to build the doc, or is it compatible with older versions?

VincentRouvreau commented 9 months ago

Out of curiosity, does updating these mean that doxygen 1.9.5 is the new minimum version to build the doc, or is it compatible with older versions?

This is what I want to try with the CI. I have no idea, but the changes does not seem that important. I wanted also to see if <html xmlns="http://www.w3.org/1999/xhtml" lang="$langISO"> was still the good way to declare xmlns, but it seems so.