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

[Federico Beffa]

On Mon, Jan 11, 2016 at 10:09 AM, Ludovic Courtès <address@hidden> wrote:
> Federico Beffa <address@hidden> 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 a good quality
>> environment to read it (again, I'm talking about font graphics
>> rendering).
>
> I agree that rendering is much better in PDF.
>
>> This is analogous to making public buildings suitable for people with
>> wheel-chairs, ... may people don't care, until they are affected :-(
>
> I disagree with the analogy.  On a computer, I find it simply less
> convenient to browse PDFs than to browse Info, and that outweighs the
> better rendering quality.  (As it turns out, Info is also much more
> usable for people using a Braille reader.)
>
> When I want to read a complete manual, I prefer the paper version,
> though.

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 matter).

I will install PDFs in a separate output.

Regards,
Fede