[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: |
Tue, 05 Jan 2016 23:13:23 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Federico Beffa <address@hidden> skribis:
> From 5c2be0d7d628ba27ac1360cc8e998de68a505b2a Mon Sep 17 00:00:00 2001
> From: Federico Beffa <address@hidden>
> Date: Sun, 27 Dec 2015 19:06:37 +0100
> Subject: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.
>
> * 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?
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?
Thanks,
Ludo’.
- 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/09
- 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