summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas G. Lockhart1998-10-06 05:44:05 +0000
committerThomas G. Lockhart1998-10-06 05:44:05 +0000
commitdfde7f14f01a42eb77e356df97071c4cc5ff5efd (patch)
tree2cd308ed16296a9e8d2a189305544752c2efeb4a
parent72129e98ce40d44a1b4c537b8c71611666cb36a0 (diff)
Install man pages from here now. "make install" will do that along with
the html/ps material...
-rw-r--r--doc/Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 7d448875a4c..a27c74b1b1a 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -8,7 +8,7 @@
#
#
# IDENTIFICATION
-# $Header: /cvsroot/pgsql/doc/Makefile,v 1.9 1998/05/29 13:14:25 thomas Exp $
+# $Header: /cvsroot/pgsql/doc/Makefile,v 1.10 1998/10/06 05:44:05 thomas Exp $
#
#----------------------------------------------------------------------------
@@ -45,6 +45,7 @@ beforeinstall::
install::
$(MAKE) all
+ $(MAKE) man
all:: beforeinstall $(MODULES)
@@ -54,6 +55,9 @@ clean::
distclean::
$(MAKE) clean
+man:
+ $(MAKE) -C $(SRCDIR) install-man
+
#
# Generic production rules
#