Path: utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!tut.cis.ohio-state.edu!ORION.MC.DUKE.EDU!bet
From: bet@ORION.MC.DUKE.EDU (Bennett Todd)
Newsgroups: gnu.bash.bug
Subject: Minor glitch in Bash 1.04 Makefile
Message-ID: <8912191612.AA13443@orion>
Date: 19 Dec 89 16:12:59 GMT
Sender: daemon@tut.cis.ohio-state.edu
Distribution: gnu
Organization: GNUs Not Usenet
Lines: 11

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