[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: unison: Add "doc" output.
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH] gnu: unison: Add "doc" output. |
Date: |
Mon, 18 Jan 2016 10:49:06 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Eric Bavier <address@hidden> skribis:
> On Fri, 08 Jan 2016 11:19:34 +0100
> address@hidden (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’.