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

Groups > gnu.bash.bug > #11945

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

Show all headers | View raw

Hi,

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

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

It would be nice to express your ideas in a polite way.  The point was
about achieving a reproducible build, not about droping the man page.  A
constructive suggestion would have been better.  Nonetheless when
reading the actual bug report, the repoducibility problem seems to
concern only the html and pdf.  So keeping the 'text' prerequisite in
the 'install' rule seems reasonable.

Ludo: Am I missing something?

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

For more GNU standards background in regards of man pages, see:

  https://www.gnu.org/prep/standards/standards.html#Man-Pages

--
Mathieu Lirzin

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

Thread

Re: Installation of PDF/PS/DVI and HTML files Mathieu Lirzin <mthl@gnu.org> - 2015-12-04 10:11 +0100

csiph-web