leanprover / leanprover/fp-lean
Investigate epub via Pandoc from print.html
Open
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 192
- Forks
- 73
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by examining the existing print.html output and the release process, then run Pandoc against that HTML to assess the resulting EPUB. Done means determining whether the EPUB quality is acceptable and documenting or implementing its inclusion in the standard release process.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- html
- Domain
- release
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100