diff options
| -rw-r--r-- | doc/Makefile | 7 | ||||
| -rw-r--r-- | doc/man.tar.gz | bin | 0 -> 81289 bytes |
2 files changed, 4 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index baa809d797a..bf5d2ce4474 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 Binary files differnew file mode 100644 index 00000000000..69abfd52dda --- /dev/null +++ b/doc/man.tar.gz |