mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-24 18:55:04 +08:00
6e82501083
entries, we don't have to do two builds here as well.
19 lines
481 B
Makefile
19 lines
481 B
Makefile
# Postgres documentation makefile
|
|
# $PostgreSQL: pgsql/doc/src/Makefile,v 1.35 2008/11/14 10:43:59 petere Exp $
|
|
|
|
subdir = doc/src
|
|
top_builddir = ../..
|
|
include $(top_builddir)/src/Makefile.global
|
|
|
|
clean distclean maintainer-clean:
|
|
rm -f *.tar *.gz
|
|
$(MAKE) -C sgml $@
|
|
|
|
postgres.tar:
|
|
$(MAKE) -C sgml html JADEFLAGS='-V html-manifest'
|
|
cd sgml && $(TAR) -cf ../$@ `cat HTML.manifest` `echo *.gif | grep -v '\*'` *.css
|
|
|
|
man.tar:
|
|
$(MAKE) -C sgml man
|
|
$(TAR) -cf $@ -C sgml man1 man7
|