From: ludo@gnu.org (Ludovic Courtès)
To: Eric Bavier <ericbavier@openmailbox.org>
Cc: guix-devel@gnu.org
Subject: Re: [PATCH] gnu: unison: Add "doc" output.
Date: Mon, 21 Dec 2015 11:39:10 +0100 [thread overview]
Message-ID: <8760zsozld.fsf@gnu.org> (raw)
In-Reply-To: <20151220220138.1346f5b5@PocketWee> (Eric Bavier's message of "Sun, 20 Dec 2015 22:01:38 -0600")
Eric Bavier <ericbavier@openmailbox.org> skribis:
> On Sun, 20 Dec 2015 23:11:07 +0100
> ludo@gnu.org (Ludovic Courtès) wrote:
>
>> Eric Bavier <ericbavier@openmailbox.org> 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?
>
> 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:
>>
>> 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?
>
> Option 1 might be fine. The 'coq' package also requires both texlive
> and hevea for its documentation.
OK!
Ludo’.
next prev parent reply other threads:[~2015-12-21 10:39 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-12-19 1:42 [PATCH] gnu: unison: Add "doc" output Eric Bavier
2015-12-20 20:57 ` Leo Famulari
2015-12-20 22:11 ` Ludovic Courtès
2015-12-21 4:01 ` Eric Bavier
2015-12-21 10:39 ` Ludovic Courtès [this message]
2016-01-08 7:13 ` Eric Bavier
2016-01-08 10:19 ` Ludovic Courtès
2016-01-17 6:28 ` Eric Bavier
2016-01-18 9:49 ` Ludovic Courtès
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=8760zsozld.fsf@gnu.org \
--to=ludo@gnu.org \
--cc=ericbavier@openmailbox.org \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).