From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eric Bavier <ericbavier@openmailbox.org>
Subject: Re: [PATCH] gnu: unison: Add "doc" output.
Date: Sun, 20 Dec 2015 22:01:38 -0600
Message-ID: <20151220220138.1346f5b5@PocketWee>
References: <20151218194215.50af651c@openmailbox.org> <8737uwu5xg.fsf@gnu.org>
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]:59665)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ericbavier@openmailbox.org>) id 1aArgG-0001ms-1H
	for guix-devel@gnu.org; Sun, 20 Dec 2015 23:02:41 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ericbavier@openmailbox.org>) id 1aArgC-0008QA-Od
	for guix-devel@gnu.org; Sun, 20 Dec 2015 23:02:39 -0500
Received: from smtp26.openmailbox.org ([62.4.1.60]:50747)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ericbavier@openmailbox.org>) id 1aArgC-0008Ps-IY
	for guix-devel@gnu.org; Sun, 20 Dec 2015 23:02:36 -0500
In-Reply-To: <8737uwu5xg.fsf@gnu.org>
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: Ludovic =?UTF-8?B?Q291cnTDqHM=?= <ludo@gnu.org>
Cc: guix-devel@gnu.org

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
> > +                     "0y5mywjn352nw4wqli94gnc5vn1f72g56jqqk1nqajz0ark9=
98nb"))
> > +       ("doc-ps"
> > +        ,(unison-doc "ps" version
> > +                     "11awy1xxhmckwnx42hllmngmx8q4ck18vpwpgfqqhj0x8vx0=
b3ha"))
> > +       ("doc-html"
> > +        ,(unison-doc "html" version
> > +                     "06myrpv067j5ffm265fm0a83gm41j9bv3ps3yiyb1hqgfy1q=
y3ah"))))
>=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?

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

`~Eric