From d29453f35e1417caf187d4131ab16a19325066de Mon Sep 17 00:00:00 2001 From: Ben Webb Date: Tue, 16 Jan 2024 10:48:10 -0800 Subject: [PATCH] Ignore crawler helper made by latest doxygen --- notebook/process_notebook.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notebook/process_notebook.py b/notebook/process_notebook.py index 321ef7e..7d7ad9b 100755 --- 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)