man page installation patch

It seems that moving the installation of man pages from
src/GNUmakefile to docs/Makefile did not leave an appropriate target
in the original Makefile to refer to.  That is, docs/Makefile refers
to a nonexistent install-man target in the src/GNUmakefile.  The
following patch adds that needed target.

NOTE: there are still man pages installed by the install target in
src/GNUmakefile.  See the install and doc targets in
interfaces/libpq++/Makefile.  Should this be removed?  Should a
(mostly do nothing) install-man target be added to all the makefiles
so that everything could be traversed from the top as for other
targets?

Cheers,
Brook

===========================================================================

--- GNUmakefile.in.orig    Wed Oct  7 01:00:16 1998
+++ GNUmakefile.in    Thu Oct  8 10:44:45 1998
@@ -43,6 +43,9 @@
     $(MAKE) -C pl install
     cat ../register.txt

+install-man:
+    $(MAKE) -C man install
+
 lexverify:
     $(MAKE) -C lextest all
     @if test ! -f lextest/lextest; then \