Fix for 'make man'.

bmomjian · bmomjian · commit 30d5e18572ac · 1998-10-20T23:14:35.000Z
diff --git 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
 
 #

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`#`
`9`	`9`	`#`
`10`	`10`	`# IDENTIFICATION`
`11`		`-# $Header: /cvsroot/pgsql/doc/Makefile,v 1.10 1998/10/06 05:44:05 thomas Exp $`
	`11`	`+# $Header: /cvsroot/pgsql/doc/Makefile,v 1.11 1998/10/20 23:14:35 momjian Exp $`
`12`	`12`	`#`
`13`	`13`	`#----------------------------------------------------------------------------`
`14`	`14`
`@@ -55,7 +55,7 @@ clean::`
`55`	`55`	`distclean::`
`56`	`56`	`$(MAKE) clean`
`57`	`57`
`58`		`-man:`
	`58`	`+man::`
`59`	`59`	`$(MAKE) -C $(SRCDIR) install-man`
`60`	`60`
`61`	`61`	`#`