diff options
author | Thomas G. Lockhart | 1999-08-08 15:09:04 +0000 |
---|---|---|
committer | Thomas G. Lockhart | 1999-08-08 15:09:04 +0000 |
commit | 7af929cd79e80e942b95259eeb79ec3b6096e800 (patch) | |
tree | 763e3f32b28e56bbb7e3e28c0d0ca78e0cb13752 | |
parent | 13d1a3c06d1b6bddb7f6747bc9544643ca8d6f80 (diff) |
Switch from old man pages to new ones generated from sgml.
-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 |