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 \