[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation.
From: |
Mathieu Lirzin |
Subject: |
Re: [PATCH 5/6] gnu: mit-scheme: Generate and install documentation. |
Date: |
Mon, 11 Jan 2016 00:14:32 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Hi,
Federico Beffa <address@hidden> 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
- 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, 2016/01/09
- 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