guix-devel
[Top][All Lists]
Advanced

[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: Sun, 20 Dec 2015 23:11:07 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)

Eric Bavier <address@hidden> skribis:

> +(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))))

[...]

> +     `(("doc-pdf"
> +        ,(unison-doc "pdf" version
> +                     "0y5mywjn352nw4wqli94gnc5vn1f72g56jqqk1nqajz0ark998nb"))
> +       ("doc-ps"
> +        ,(unison-doc "ps" version
> +                     "11awy1xxhmckwnx42hllmngmx8q4ck18vpwpgfqqhj0x8vx0b3ha"))
> +       ("doc-html"
> +        ,(unison-doc "html" version
> +                     
> "06myrpv067j5ffm265fm0a83gm41j9bv3ps3yiyb1hqgfy1qy3ah"))))

Could we instead build them from source?

I understand that building the PDF/PS would require an extra dependency
on TeX Live.  This could be:

  1. ignored, on the grounds that people with substitutes enabled will
     not have to download TeX Live; or:

  2. addressed by having only the HTML documentation built, on the
     grounds the HTML is more appropriate for on-screen reading.

WDYT?

Ludo’.



reply via email to

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