fixes #2356: set User-Agent

[librarian.git] / librarian / html.py

diff --git a/librarian/html.py b/librarian/html.py
index e04790f..c1a5e5b 100644 (file)
--- a/librarian/html.py
+++ b/librarian/html.py
@@ -234,7 +234,7 @@ def add_table_of_contents(root):
     counter = 1
     for element in root.iterdescendants():
         if element.tag in ('h2', 'h3'):
     counter = 1
     for element in root.iterdescendants():
         if element.tag in ('h2', 'h3'):

-            if any_ancestor(element, lambda e: e.get('id') in ('footnotes',) or e.get('class') in ('person-list',)):
+            if any_ancestor(element, lambda e: e.get('id') in ('footnotes', 'nota_red') or e.get('class') in ('person-list',)):

                 continue
 
             element_text = raw_printable_text(element)
                 continue
 
             element_text = raw_printable_text(element)