- spec.texout.write(b'\\begin{document}\n')
- html = parse(spec.htmlfilter(spec.fetcher.fetch(spec.url)))
- for r in replies(html):
+ spec.texout.write(b'''\\begin{document}
+\\newcommand{\\href}[2]{#2\\footnote{\\detokenize{#1}}}
+''')
+ url = flatURL(spec.url)
+ spec.log('Fetching HTML...\r')
+ html = spec.fetcher.fetch(url)
+ spec.log('Parsing HTML...\r')
+ dom = parse(spec.htmlfilter(html))
+ spec.log('Counting chunks...\r')
+ 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')