diff --git a/doc/Makefile b/doc/Makefile index baa809d797af0e1f21ea79672476c20fc82cc824..bf5d2ce44747cf690484c5928cdc49ba1da5a69b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,7 +8,7 @@ # # # IDENTIFICATION -# $Header: /cvsroot/pgsql/doc/Makefile,v 1.12 1998/11/29 05:30:13 tgl Exp $ +# $Header: /cvsroot/pgsql/doc/Makefile,v 1.13 1999/08/08 15:09:04 thomas Exp $ # #---------------------------------------------------------------------------- @@ -56,8 +56,9 @@ clean:: distclean:: $(MAKE) clean -man:: - $(MAKE) -C $(SRCDIR) install-man +man:: man.tar.gz + if test ! -d $(POSTMANDIR) ; then mkdir $(POSTMANDIR) ; fi + $(GZCAT) $< | (cd $(POSTMANDIR) ; $(TAR) xf - ) # # Generic production rules diff --git a/doc/man.tar.gz b/doc/man.tar.gz new file mode 100644 index 0000000000000000000000000000000000000000..69abfd52ddae1b269a8aa7fcba3f261e921720ac Binary files /dev/null and b/doc/man.tar.gz differ