-def fetch(url: str, timeout: int) -> None:
- r = requests.get(url, timeout=timeout)
- r.raise_for_status()
+
+def process(spec: Spec) -> None:
+ spec.texout.write(b'\\documentclass{article}\n')
+ if spec.geometry is not None:
+ spec.texout.write(b'\\usepackage[' +
+ spec.geometry.encode('UTF-8') +
+ b']{geometry}\n')
+ spec.texout.write(b'\\begin{document}\n')
+ html = parse(spec.htmlfilter(spec.fetcher.fetch(spec.url)))
+ for r in chunkDOMs(html):
+ spec.domfilter(r)
+ spec.texout.write(spec.texifier.texify(r))
+ spec.texout.write(b'\\end{document}\n')