Eric Bavier <ericbav...@openmailbox.org> skribis: > On Fri, 08 Jan 2016 11:19:34 +0100 > l...@gnu.org (Ludovic Courtès) wrote:
[...] >> What about installing only HTML? >> >> I find that HTML (and Info, and man) is more convenient to read on-line >> than PDFs. We rarely include PDF documentation in packages. > > I sometimes find PDF documentation more visually appealing, but only if > they having functioning hyperlinks. Which unison's pdf docs lack, > so yes, I think we can install just the HTML. OK. >> Of course, avoiding PDF/PS/DVI allows us to remove the dependency on >> TeX Live. Last, from discussions I heard at the Reproducible Build >> Summit, I think DVIs and maybe PS/PDFs are not bit-reproducible >> out-of-the-box. > > However, it appears the unison-manual.tex needs to be run through LaTeX > at least once in order to get a TOC for hevea to include in the html > output. So it seems we can't remove TeX Live. Sigh... Heh. > I don't want to spend much more time on this, so I think I'll push a > slight modification of this patch that just doesn't install the pdf, > ps, and dvi output for the sake a reproducibility. OK! Well maybe you could install the PDF, I haven’t check whether our packages and build environment actually fail to create PDFs in a reproducible fashion. Your call. >> Maybe we should have a policy on how to choose the installed >> documentation formats. > > Info > HTML > man > txt > PDF > PS ? Roughly, yes. Thank you! Ludo’.