diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index db6ad52d9eb..7ed3019f8ac 100644 --- a/doc/src/Makefile +++ b/doc/src/Makefile @@ -1,6 +1,7 @@ # Postgres documentation makefile # Thomas Lockhart +# Not yet generated from configure, so use relative path names for now... PGDOCS= .. SRCDIR= ../../src @@ -70,6 +71,10 @@ user.tar: $(MAKE) -C sgml user.html (cd sgml; $(TAR) -cf ../$@ $(TAREXCLUDE) *.html *.htm) +man.tar: + $(MAKE) -C sgml man1 manl + $(TAR) -cf $@ -C sgml man1 manl + # Generic production rules # Compressed file |