diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2000-07-17 22:31:59 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2000-07-17 22:31:59 +0000 |
| commit | 44eaafe3f8239e59c92ba27cd25e2d05bd35cf2a (patch) | |
| tree | 307d8d5f70b2706989ddbc80f2024677f853030f /GNUmakefile.in | |
| parent | 5da7e533f7860d3a00e784c638db0ac7b11bd36d (diff) | |
| download | postgresql-44eaafe3f8239e59c92ba27cd25e2d05bd35cf2a.tar.gz | |
End users shouldn't have to invoke a separate command to install the
documentation. Therefore it's now installed by default. If there is no
documentation to be found (i.e., you are not using the distribution)
then this step is skipped.
Add --docdir option to configure to control installation directory.
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 1cf0645e3a..01323aa746 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -1,7 +1,7 @@ # # PostgreSQL top level makefile # -# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.7 2000/07/16 14:50:28 petere Exp $ +# $Header: /cvsroot/pgsql/GNUmakefile.in,v 1.8 2000/07/17 22:31:56 petere Exp $ # subdir = @@ -9,20 +9,23 @@ top_builddir = . include src/Makefile.global all: + $(MAKE) -C doc all $(MAKE) -C src all @echo "All of PostgreSQL successfully made. Ready to install." install: + $(MAKE) -C doc install $(MAKE) -C src install @cat $(srcdir)/register.txt -installdirs uninstall: +installdirs uninstall clean: + $(MAKE) -C doc $@ $(MAKE) -C src $@ -clean: - $(MAKE) -C src clean - +# Important: distclean `doc' before `src', otherwise Makefile.global +# will be gone too soon. distclean maintainer-clean: + -$(MAKE) -C doc $@ -$(MAKE) -C src $@ -rm -f config.cache config.log config.status GNUmakefile |