Re: [PATCH] gnu: unison: Add "doc" output.

[ludo@gnu.org (Ludovic Courtès)]

Eric Bavier <ericbavier@openmailbox.org> skribis:

> On Fri, 08 Jan 2016 11:19:34 +0100
> ludo@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’.