- spec.texout.write(b'\\begin{document}\n')
- html = parse(spec.htmlfilter(spec.fetcher.fetch(spec.url)))
- for r in chunkDOMs(html):
+ 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)):
+ percent = 100.0 * i / num_chunks
+ spec.log(f'Processing chunk {i} of {num_chunks} ({percent:.1f}%)\r')