book
book copied to clipboard
HoTT
HTML or web-friendly version?
Does this site contain the text of the book in HTML somewhere? If so, I can't find it.
On Fri, Jan 3, 2014 at 2:47 PM, Jason Gross [email protected]:
Are you looking for http://homotopytypetheory.org/book/?
— Reply to this email directly or view it on GitHubhttps://github.com/HoTT/book/issues/594#issuecomment-31548193 .
No, but it contains pdfs where the margins are optimized for reading on a computer/ebook. Is there a particular reason you're looking for HTML?
Not necessarily. I just prefer to preview books in html.
On Jan 3, 2014, at 2:57 PM, Jason Gross [email protected] wrote:
No, but it contains pdfs where the margins are optimized for reading on a computer/ebook. Is there a particular reason you're looking for HTML?
— Reply to this email directly or view it on GitHub.
Have a look at issue #287. @loopspace (Andrew Stacey) made some progress in converting the book to HTML.
PlanetMath has a MathML HTML version. I'm in the process of getting an htlatex target, so that e-readers without MathML support/MathJax can read it; for now, you can look at the generated html here. It seems to have some images that aren't generated (I have no idea why, and they don't seem to be present in the pdf version at all), and there are some places where there's " class="math-display" >. It is good enough, as-is, though, that I might use it rather than the ebook pdf (the text is still too small for me to read that comfortably) on my kindle. Any help with polishing it enough to submit a pull request would be appreciated.
I made a terrible sed script that goes through and removes all of the broken images; the resulting html is here.
If anyone wants the epub or mobi generated by calibre from that html file, I've linked to them. (I can't promise I'll keep them up forever.) It's pretty ugly on the kindle at large font sizes, but it's decent at the smallest font size (which is still larger than the pdf) in Palatino.
Note that htlatex doesn't like \left, \right, and \middle (it converts them all to images), and will convert align environments to text, but will use images for $$...$$ and \[ ... \] math environments.
tex4ht and htlatex have been improved quite much during the last few years. For the align environment to be treated well, you could simply enable the pic-align option. See also https://github.com/HoTT/book/issues/287#issuecomment-922332994
