diff options
Diffstat (limited to 'doc/src/Makefile')
| -rw-r--r-- | doc/src/Makefile | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index 23670764a2d..57da994476c 100644 --- a/doc/src/Makefile +++ b/doc/src/Makefile @@ -1,18 +1,8 @@ -# Postgres documentation makefile -# $PostgreSQL: pgsql/doc/src/Makefile,v 1.36 2009/08/05 19:31:50 alvherre Exp $ +# $PostgreSQL: pgsql/doc/src/Makefile,v 1.37 2009/08/09 22:47:59 petere Exp $ subdir = doc/src top_builddir = ../.. include $(top_builddir)/src/Makefile.global -clean distclean maintainer-clean: - rm -f *.tar *.gz +all distprep html man install installdirs uninstall clean distclean maintainer-clean: $(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 man3 man7 |