From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: [PATCH] gnu: unison: Add "doc" output.
Date: Mon, 21 Dec 2015 11:39:10 +0100
Message-ID: <8760zsozld.fsf@gnu.org>
References: <20151218194215.50af651c@openmailbox.org> <8737uwu5xg.fsf@gnu.org>
	<20151220220138.1346f5b5@PocketWee>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:54214)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aAxs4-0005FT-Tl
	for guix-devel@gnu.org; Mon, 21 Dec 2015 05:39:17 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aAxs0-00006b-NN
	for guix-devel@gnu.org; Mon, 21 Dec 2015 05:39:16 -0500
In-Reply-To: <20151220220138.1346f5b5@PocketWee> (Eric Bavier's message of
	"Sun, 20 Dec 2015 22:01:38 -0600")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: Eric Bavier <ericbavier@openmailbox.org>
Cc: guix-devel@gnu.org

Eric Bavier <ericbavier@openmailbox.org> skribis:

> On Sun, 20 Dec 2015 23:11:07 +0100
> ludo@gnu.org (Ludovic Court=C3=A8s) wrote:
>
>> Eric Bavier <ericbavier@openmailbox.org> skribis:
>>=20
>> > +(define (unison-doc ext version hash)
>> > +  (origin
>> > +    (method url-fetch)
>> > +    (uri (string-append "https://www.seas.upenn.edu/~bcpierce/unison/"
>> > +                        "download/releases/unison-" version "/unison-"
>> > +                        version "-manual." ext))
>> > +    (sha256 (base32 hash))))
>>=20
>> [...]
>>=20
>> > +     `(("doc-pdf"
>> > +        ,(unison-doc "pdf" version
>> > +                     "0y5mywjn352nw4wqli94gnc5vn1f72g56jqqk1nqajz0ark=
998nb"))
>> > +       ("doc-ps"
>> > +        ,(unison-doc "ps" version
>> > +                     "11awy1xxhmckwnx42hllmngmx8q4ck18vpwpgfqqhj0x8vx=
0b3ha"))
>> > +       ("doc-html"
>> > +        ,(unison-doc "html" version
>> > +                     "06myrpv067j5ffm265fm0a83gm41j9bv3ps3yiyb1hqgfy1=
qy3ah"))))
>>=20
>> Could we instead build them from source?
>
> Possibly.  The documentation source is not available in the download
> tarball, only in the developer svn repository, so we could do an svn
> fetch of that.  Would that be alright?

Sure.

>> I understand that building the PDF/PS would require an extra dependency
>> on TeX Live.  This could be:
>>=20
>>   1. ignored, on the grounds that people with substitutes enabled will
>>      not have to download TeX Live; or:
>>=20
>>   2. addressed by having only the HTML documentation built, on the
>>      grounds the HTML is more appropriate for on-screen reading.
>>=20
>> WDYT?
>
> Option 1 might be fine.  The 'coq' package also requires both texlive
> and hevea for its documentation.

OK!

Ludo=E2=80=99.