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

Groups > gnu.bash.bug > #11944

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

Show key headers only | View raw

Greg Wooledge <wooledg@eeg.ccf.org> skribis:

> On Thu, Dec 03, 2015 at 01:08:13PM +0200, Ludovic Courtès wrote:
>> Given that the GCS suggests installing only the Info version of the
>> manual by default (info "(standards) Standard Targets")
>
>> What do you think?
>
> I think that's a stupid suggestion.  The de facto standard for "make"
> followed "make install" on a Unix-like system is to install man pages.
> If there's an info page, I have no objection to installing that as well,
> but to omit the standard man pages by default is ridiculous.

Agreed; apologies for being unclear.

As Mathieu wrote, I am of course fine installing man and Info manuals by
default, like GNU packages generally do.

The suggestion I make is to not install PDF/PS/DVI and HTML files by
default.  This would comply with the GCS and user expectations, and also
sidestep the bit-for-bit reproducibility issues that generating those
PDF/PS/DVI/HTML files entails.

What do you think?

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-04 11:24 +0200

csiph-web