🚀 go-pugleaf

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