Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Federico Beffa
On Mon, Jan 11, 2016 at 8:06 PM, Leo Famulari wrote: >> It seems you don't get that my point is not about personal preferences >> or feelings. It's about physical impairments (and there are plenty of >> shades of grays between good sight and completely blind, where big, >> good quality fonts matte

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Ludovic Courtès
Federico Beffa skribis: > On Mon, Jan 11, 2016 at 10:09 AM, Ludovic Courtès wrote: >> Federico Beffa skribis: >> >>> For PDFs, it depends on the type and quality of the manual. If it is >>> short and/or poor, then nobody will spend hours reading it. But if the >>> manual is good and long, then

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Leo Famulari
On Mon, Jan 11, 2016 at 12:58:41PM +0100, Federico Beffa wrote: > On Mon, Jan 11, 2016 at 10:09 AM, Ludovic Courtès wrote: > > Federico Beffa skribis: > > > >> For PDFs, it depends on the type and quality of the manual. If it is > >> short and/or poor, then nobody will spend hours reading it. But

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Federico Beffa
On Mon, Jan 11, 2016 at 10:09 AM, Ludovic Courtès wrote: > Federico Beffa skribis: > >> For PDFs, it depends on the type and quality of the manual. If it is >> short and/or poor, then nobody will spend hours reading it. But if the >> manual is good and long, then there is a chance that people wil

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Ludovic Courtès
Federico Beffa skribis: > For PDFs, it depends on the type and quality of the manual. If it is > short and/or poor, then nobody will spend hours reading it. But if the > manual is good and long, then there is a chance that people will spend > a lot of time reading it and it would be nice to have

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-11 Thread Federico Beffa
On Mon, Jan 11, 2016 at 12:14 AM, Mathieu Lirzin wrote: > Hi, > > Federico Beffa writes: > >> HTML is not better than Info. Here we only need to keep it for >> 'emacs-mit-scheme-doc' to work. This is functionality for mit-scheme >> whereby Emacs looks up the documentation for the identifier at po

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-10 Thread Mathieu Lirzin
Hi, Federico Beffa writes: > HTML is not better than Info. Here we only need to keep it for > 'emacs-mit-scheme-doc' to work. This is functionality for mit-scheme > whereby Emacs looks up the documentation for the identifier at point. > > For PDFs, it depends on the type and quality of the manua

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-10 Thread Federico Beffa
On Sun, Jan 10, 2016 at 7:50 PM, Ludovic Courtès wrote: > Federico Beffa skribis: >> Texinfo is great for looking up pieces of information in a reference >> manual. > > You mean Info, right? yes. > >> However, when it comes to reading a sizable part, I much prefer PDFs >> with a much superior g

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-10 Thread Ludovic Courtès
Federico Beffa skribis: > On Sat, Jan 9, 2016 at 7:42 PM, Ludovic Courtès wrote: >> Federico Beffa skribis: >>> 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. >>

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-09 Thread Federico Beffa
On Sat, Jan 9, 2016 at 7:42 PM, Ludovic Courtès wrote: > Federico Beffa skribis: >> 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 documen

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-09 Thread Ludovic Courtès
Federico Beffa skribis: > On Tue, Jan 5, 2016 at 11:13 PM, Ludovic Courtès wrote: >> Federico Beffa 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

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-09 Thread Federico Beffa
On Tue, Jan 5, 2016 at 11:13 PM, Ludovic Courtès wrote: > Federico Beffa 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

Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.

2016-01-05 Thread Ludovic Courtès
Federico Beffa skribis: > From 5c2be0d7d628ba27ac1360cc8e998de68a505b2a Mon Sep 17 00:00:00 2001 > From: Federico Beffa > 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 '