Ignore crawler helper made by latest doxygen

salilab · Jan 16, 2024 · d29453f · d29453f
1 parent a35d281
commit d29453f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/notebook/process_notebook.py b/notebook/process_notebook.py
@@ -716,7 +716,7 @@ def add_html_links(branch):
     repo = get_git_repo()
     pagemap = get_page_map()
     for html in glob.glob("html/*.html"):
-        if html != 'html/pages.html':
+        if html != 'html/pages.html' and html != 'html/doxygen_crawl.html':
             patch_html(html, repo, pagemap[html], branch, license_link)