[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.
From: |
Ludovic Courtès |
Subject: |
Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation. |
Date: |
Sat, 09 Jan 2016 19:42:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Federico Beffa <address@hidden> skribis:
> On Tue, Jan 5, 2016 at 11:13 PM, Ludovic Courtès <address@hidden> wrote:
>> Federico Beffa <address@hidden> skribis:
>>
>>> * gnu/packages/scheme.scm (mit-scheme): Convert to the 'modify-phases'
>>> syntax. Add phases 'configure-doc, 'build-doc and 'install-doc. Add
>>> 'texlive' input.
>>
>> Could you split into two patches: first ‘modify-phases’, then build doc?
>
> Done.
>
>>
>> I’m a bit concerned about the TeX Live dependency. I wonder if we
>> should instead make a separate ‘mit-scheme-doc’ package so that people
>> don’t have to download/build TeX Live just to build MIT Scheme. No
>> strong opinion though.
>>
>> WDYT?
>
> MIT Scheme is a complex system and without the documentation it's not
> possible to use it proficiently.
Agreed, I didn’t mean to imply we should give up on documentation.
I just realized that its documentation is in Texinfo format. What about
simply installing the Info format like we do for other GNU packages, and
not the PDF/PS/DVI version?
Thanks,
Ludo’.
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Ludovic Courtès, 2016/01/05
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/09
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.,
Ludovic Courtès <=
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/09
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Ludovic Courtès, 2016/01/10
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/10
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Mathieu Lirzin, 2016/01/10
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/11
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Ludovic Courtès, 2016/01/11
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/11
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Leo Famulari, 2016/01/11
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Federico Beffa, 2016/01/12
- Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation., Ludovic Courtès, 2016/01/11