Fix for 'make man'.

diff --git a/doc/Makefile b/doc/Makefile
index a27c74b1b1a0a916bddad4778ffc605eb7c1191d..a019413e71248f4a3ad53fc0bff118627d1754cd 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,7 +8,7 @@
 #
 #
 # IDENTIFICATION
-#    $Header: /cvsroot/pgsql/doc/Makefile,v 1.10 1998/10/06 05:44:05 thomas Exp $
+#    $Header: /cvsroot/pgsql/doc/Makefile,v 1.11 1998/10/20 23:14:35 momjian Exp $
 #
 #----------------------------------------------------------------------------
 
@@ -55,7 +55,7 @@ clean::
 distclean::
    $(MAKE) clean
 
-man:
+man::
    $(MAKE) -C $(SRCDIR) install-man
 
 #