There are many sources to download it in PDF format, but couldn’t find a single page that would serve it in HTML; it would be useful to make web annotations, cite/quote certain parts via text fragments, etc.
1 Like
There are many sources to download it in PDF format, but couldn’t find a single page that would serve it in HTML; it would be useful to make web annotations, cite/quote certain parts via text fragments, etc.
Getting usable HTML out of PDF or even TeX includes quite a bit of manual work. I guess we could ask @edolstra to say under which condition TeX source could be made available and how good should be an HTML version to be approved for distribution, as TeX source seems to allow use of some nice tools, but it is unreasonable to expect @edolstra to find time to fiddle with the conversion…
4 Likes
After accepting the fact the I will never have enough time to manually do this while reading through it, so I just went for brute force, and tried out some online converters. The results are quite satisfying:
- version 1 (15M) with cloudconvert
- version 2 (2.4M) with pdftohtml.net
1 Like
Looked at the second, smaller version.
Reasonably good, would need quite a few local cleanups to be a realistic substitute for just reading the PDF. (Usual suspects: tables etc.)
@edolstra would you approve a (somewhat advertised inside the community) effort to fix up the converted HTML? What/how many quality reviews would you want to be passed for this to be linkable from NixOS.org ?
1 Like