diff options
Diffstat (limited to 'config/conclude.in')
| -rw-r--r-- | config/conclude.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config/conclude.in b/config/conclude.in index 622cc65..d29fb5f 100644 --- a/config/conclude.in +++ b/config/conclude.in @@ -94,6 +94,11 @@ install-doc: $(PUB_DOCS) else \ mkdir $(DOCDIR) && chmod 755 $(DOCDIR); \ fi + @if test -d $(SUBDOCDIR) ; then \ + :; \ + else \ + mkdir $(SUBDOCDIR) && chmod 755 $(SUBDOCDIR); \ + fi @for d in X $(SUBDIRS); do \ if test $$d != X; then \ (set -x; cd $$d && $(MAKE) $@) || exit 1; \ @@ -109,6 +114,16 @@ install-doc: $(PUB_DOCS) fi; \ fi; \ done + @for f in X $(PUB_SUBDOCS); do \ + if test $$f != X; then \ + if test -f $$f; then \ + (set -x; $(INSTALL_DATA) $$f $(SUBDOCDIR)/. || exit 1); \ + else \ + (set -x; $(INSTALL_DATA) $(srcdir)/$$f $(SUBDOCDIR)/. || \ + exit 1); \ + fi; \ + fi; \ + done ## Removes those things that `make install' (would have) installed. uninstall: |