diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index ed49ad6..945b0a5 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -40,7 +40,7 @@ RUN apt-get update \ && rm -rf /var/lib/apt/lists/* # Update doxygen to latest -RUN wget -c https://www.doxygen.nl/files/doxygen-1.9.6.linux.bin.tar.gz -O /tmp/doxygen.tar.gz \ +RUN wget -c https://www.doxygen.nl/files/doxygen-1.11.0.linux.bin.tar.gz -O /tmp/doxygen.tar.gz \ && mkdir -p /tmp/doxygen \ && tar -xzvf /tmp/doxygen.tar.gz --strip-components=1 -C /tmp/doxygen/ \ && mv /tmp/doxygen/bin/* /usr/bin \ diff --git a/doxysphinx/process.py b/doxysphinx/process.py index e77cfbd..9c8ae85 100644 --- a/doxysphinx/process.py +++ b/doxysphinx/process.py @@ -114,6 +114,9 @@ def _get_doxy_htmls_to_process_with_hashes(self, doxygen_html_dir: Path) -> Iter processed. """ for html_file in doxygen_html_dir.glob("*.html"): + # For Doxygen>=1.10.0 this file can be skipped + if html_file.name == "doxygen_crawl.html": + continue rst_file = html_file.with_suffix(".rst") hash_from_html = hash_blake2b(html_file)