hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
198 stars 40 forks source link

Feature Request: eBook build target #50

Open rljacobson opened 1 year ago

rljacobson commented 1 year ago

There have been a couple of times I have found great online content and wanted to have it on my Kindle. In both cases it was relatively easy to convert the content from the scraped HTML to epub (and then mobi).

I suspect it would be easy to make an epub build target for Learn TLA+ v.2 also.

hwayne commented 1 year ago

It's in the cards for when I figure out how to write separate builders for my weird custom rST extensions.

(I am dreading figuring out how to convert the exercise directive)

rljacobson commented 1 year ago

You obviously don't need my advice, especially given my ignorance of the details, but... Never underestimate the power of ham-fisted regex/parser transformations. I've wasted too much of my life trying to figure out the "right" way to do one-off transformations in various contexts. I literally use BBEdit's regex-based Find/Replace tool nearly every day. It hits that sweet spot for my brain of easy enough to remember how to use but powerful enough to do almost everything I need.