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


Groups > gnu.bash.bug > #11947

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

From Mathieu Lirzin <mthl@gnu.org>
Newsgroups gnu.bash.bug
Subject Re: Installation of PDF/PS/DVI and HTML files
Date 2015-12-04 19:10 +0100
Message-ID <mailman.1394.1449252654.31583.bug-bash@gnu.org> (permalink)
References <87lh9bu6w2.fsf@gnu.org> <20151203151351.GT27325@eeg.ccf.org> <87io4etw74.fsf@gnu.org> <5661BF37.1030107@tlinx.org>

Show all headers | View raw


Hi,

Linda Walsh <bash@tlinx.org> writes:

> Mathieu Lirzin wrote:
>> Greg Wooledge <wooledg@eeg.ccf.org> writes:
>>> The de facto standard for "make" followed "make install" on a
>>> _Unix_-like system is to install man pages.  
>>
>> For more _GNU_ standards ....[_emphasis_ mine]
> ---
> 	Notice  you are comparing 'GNU' (new) standards compared to
> older and established standards.  Many of the newer standards fly in
> the face of good design and throw-out previous 'best-practices' standards
> for no other reason than to follow new standards that are not justifiable
> based on user-utility nor sound computer science.

The GNU standards were mentioned only because Bash is a GNU package.  I
wasn't implying that they are higher standards or anything like that.  I
was just reminding that within the GNU project, an info manual is
mandatory and man pages are only optional (not the other way).

--
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 19:10 +0100

csiph-web