they were probably mentioning that, with pandoc, you can convert between HTML and PDF for any of these tools anyway
Ah! Thanks. Yeah Pandoc is great for conversions to HTML and PDF. It's my no. 1 tool for writing docs and generating multiple formats out of the docs.
alt Hacker News
Ah! Thanks. Yeah Pandoc is great for conversions to HTML and PDF. It's my no. 1 tool for writing docs and generating multiple formats out of the docs.