fp-lean icon indicating copy to clipboard operation
fp-lean copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Investigate epub via Pandoc from print.html

Open david-christiansen opened this issue 1 year ago • 1 comments

On Mastodon, it was pointed out that Pandoc is good at consuming the print HTML file and producing an epub. If this will work for making a good epub, then we might as well make it part of the standard release process.

david-christiansen avatar Oct 03 '23 09:10 david-christiansen