[Top][All Lists]

[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.


>> 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...


> 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!


reply via email to

[Prev in Thread] Current Thread [Next in Thread]