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

[Mathieu Lirzin <mthl@gnu.org>]

Hi,

Federico Beffa <beffa@ieee.org> 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 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).
>
> This is analogous to making public buildings suitable for people with
> wheel-chairs, ... may people don't care, until they are affected :-(

Sorry I don't understand your analogy.  IIUC the discussion is about
what should be installed with the default output.  Putting the PDF
version of the manual in the 'doc' output will not prevent anyone to use
it.  Did I miss something?

--
Mathieu Lirzin