Rename: html → dom

diff --git a/paperdoorknob.py b/paperdoorknob.py
index 6a556753479b96f55c535f53a14d6c444822edf0..05b068f6c6993015df844e7a6b7b3a3f40dc7387 100644 (file)
--- a/paperdoorknob.py
+++ b/paperdoorknob.py
@@ -38,9 +38,9 @@ def process(spec: Spec) -> None:
 \\newcommand{\\href}[2]{#2\\footnote{#1}}
 ''')
     url = flatURL(spec.url)
 \\newcommand{\\href}[2]{#2\\footnote{#1}}
 ''')
     url = flatURL(spec.url)

-    html = parse(spec.htmlfilter(spec.fetcher.fetch(url)))
-    num_chunks = ilen(chunkDOMs(html))
-    for i, r in enumerate(chunkDOMs(html)):
+    dom = parse(spec.htmlfilter(spec.fetcher.fetch(url)))
+    num_chunks = ilen(chunkDOMs(dom))
+    for i, r in enumerate(chunkDOMs(dom)):

         percent = 100.0 * i / num_chunks
         spec.log(f'Processing chunk {i} of {num_chunks} ({percent:.1f}%)\r')
         spec.domfilter(r)
         percent = 100.0 * i / num_chunks
         spec.log(f'Processing chunk {i} of {num_chunks} ({percent:.1f}%)\r')
         spec.domfilter(r)