Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #11964

Re: Installation of PDF/PS/DVI and HTML files

Show all headers | View raw

Chet Ramey <chet.ramey@case.edu> skribis:

> On 12/3/15 6:05 AM, Ludovic Courtès wrote:

[...]

>> In addition, the ‘install’ rule in doc/Makefile.in would need to be
>> split in ‘install-info’, ‘install-pdf’, etc. (as explained in the GCS),
>> with ‘install’ depending only on ‘install-info’.
>
> Again, that's not quite what the coding standards say.  The standards say
> to make sure to install the info file when you run `make install', using
> the `install-info' program to do so.

They also specify targets different from ‘install’ to install
documentation in formats other than Info.  This is consistently done in
many GNU packages, notably GCC/Binutils/GDB/libc, and this is how
Automake implements it.

>> What do you think?
>
> It's hard to say, since the proposed patch has little to do with the
> subject of the message.

Sorry if the patch created confusion.  I hope the intent is clearer now.

Thanks,
Ludo’.

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: Installation of PDF/PS/DVI and HTML files ludo@gnu.org (Ludovic Courtès) - 2015-12-06 22:21 +0100

csiph-web