diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2009-08-11 21:53:06 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2009-08-11 21:53:06 +0000 |
| commit | a16461dfade44413ee4242c73a0d217b7fe61e34 (patch) | |
| tree | 438e51c8d9c61010217bcf7e4acd445fce2b341a | |
| parent | 61c4513cc982c59dfc9c95550b4b23eb3b01e2c9 (diff) | |
| download | postgresql-a16461dfade44413ee4242c73a0d217b7fe61e34.tar.gz postgresql-a16461dfade44413ee4242c73a0d217b7fe61e34.zip | |
Simplify and speed up man page installation
| -rw-r--r-- | doc/src/sgml/Makefile | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index ea68a5bc434..2ff3207d980 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -2,7 +2,7 @@ # # PostgreSQL documentation makefile # -# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.123 2009/08/11 20:16:03 alvherre Exp $ +# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.124 2009/08/11 21:53:06 petere Exp $ # #---------------------------------------------------------------------------- @@ -307,21 +307,17 @@ install-html: html installdirs ## Install man +install-man: man installdirs + sqlmansect ?= 7 sqlmansectnum = $(shell expr X'$(sqlmansect)' : X'\([0-9]\)') -define install-man-func -for file in $(1); do \ - $(INSTALL_DATA) $$file $(DESTDIR)$(mandir)/`echo $$file | sed 's,^$(2),,'` || exit; \ -done -endef - # Before we install the man pages, we massage the section numbers to # follow the local conventions. # ifeq ($(sqlmansectnum),7) install-man: - $(call install-man-func,$(addprefix $(srcdir)/,man1/*.1 man3/*.3 man$(sqlmansectnum)/*.$(sqlmansect)),$(srcdir)/) + cp -R $(addprefix $(srcdir)/,man1 man3 man7) '$(DESTDIR)$(mandir)' else # sqlmansectnum != 7 fix_sqlmansectnum = sed -e '/^\.TH/s/"7"/"$(sqlmansect)"/' \ @@ -348,7 +344,7 @@ $(fixed_sql_manpage_files): fixedman/man$(sqlmansectnum)/%.$(sqlmansect): man7/% $(fix_sqlmansectnum) $< >$@ install-man: all-man - $(call install-man-func,$(fixed_manpage_files),fixedman/) + cp -R $(sort $(dir $(fixed_manpage_files))) '$(DESTDIR)$(mandir)' clean: clean-man .PHONY: clean-man |