[gnu.bash.bug] Minor glitch in Bash 1.04 Makefile

bet@ORION.MC.DUKE.EDU (Bennett Todd) (12/20/89)

First, a minor nit. Most of the other gnu distributions seem to be
following the convention of installing in /usr/local/{bin,man,...}
which makes me very happy, since that's the convention I'm following:-).
Are more folks using that or using /usr/gnu/bin as destdir (which the
Bash makefile comes with)?

Now for the actual buglet, the DOCUMENTATION define refers to
$(LIBRARY_DOCS) where it appears it should be $(LIBRARY_DOC).

-Bennett
bet@orion.mc.duke.edu

bfox@sbphy.ai.mit.edu (Brian Fox) (12/20/89)

   Date: Tue, 19 Dec 89 11:12:59 EST
   From: bet@orion.mc.duke.edu (Bennett Todd)
   X-Zippy: Well, I'm INVISIBLE AGAIN..  I might as well pay a visit to the
    LADIES ROOM...

   First, a minor nit. Most of the other gnu distributions seem to be
   following the convention of installing in /usr/local/{bin,man,...}
   which makes me very happy, since that's the convention I'm following:-).
   Are more folks using that or using /usr/gnu/bin as destdir (which the
   Bash makefile comes with)?

Everywhere I go, I need a full tree.  It just seemed reasonable and easy
to place the GNU stuff in:

	/usr/gnu
		info	-- contains the info files.
		src	-- contains the source.
		  lib	-- contains library source.
		bin	-- binary executables.
		etc	-- things that might go in /usr/etc. in.cfingerd.
		lib	-- libraries.

This means that I can install all of the software that I want without
giving unsuspecting people strange behaviours.  For example, if I
install the GNU version of ls, only the people who have /usr/gnu/bin in
their paths will get it.

Typically, there are links for emacs, bash, and gcc to the appropriate
places in the gnu tree.

   Now for the actual buglet, the DOCUMENTATION define refers to
   $(LIBRARY_DOCS) where it appears it should be $(LIBRARY_DOC).

Thanks.

Brian