Rename: html → dom

[paperdoorknob] / paperdoorknob.py

diff --git a/paperdoorknob.py b/paperdoorknob.py
index 4e7cdf6840b8bbd7fb6a227db538bc9db9cde915..05b068f6c6993015df844e7a6b7b3a3f40dc7387 100644 (file)
--- a/paperdoorknob.py
+++ b/paperdoorknob.py
@@ -34,11 +34,13 @@ def process(spec: Spec) -> None:
         spec.texout.write(b'\\usepackage[' +
                           spec.geometry.encode('UTF-8') +
                           b']{geometry}\n')
-    spec.texout.write(b'\\begin{document}\n')
+    spec.texout.write(b'''\\begin{document}
+\\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)