diff options
| author | Théo Zimmermann | 2019-03-21 08:16:26 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-21 08:16:26 +0100 |
| commit | 5c0a7041cba6f2d2654ddc34a3c63a11f494d430 (patch) | |
| tree | bb898a867f2f85dbf71091d612cd7bad95ebd001 | |
| parent | 4a547c6aa58ef902c0a883d4be77761537a86280 (diff) | |
| parent | 314898447b30639e2c199aea32b41b0d42864d37 (diff) | |
Merge PR #9695: [make install] Do not install the sphinx doctrees
Reviewed-by: cpitclaudel
Ack-by: ejgallego
| -rw-r--r-- | Makefile.doc | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Makefile.doc b/Makefile.doc index 912738cd00..5ac3ecb63d 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -209,10 +209,11 @@ install-doc-printable: install-doc-sphinx: $(MKDIR) $(FULLDOCDIR)/sphinx - (for f in `cd doc/sphinx/_build; find . -type f`; do \ - $(MKDIR) $$(dirname $(FULLDOCDIR)/sphinx/$$f);\ - $(INSTALLLIB) doc/sphinx/_build/$$f $(FULLDOCDIR)/sphinx/$$f;\ - done) + (for d in html latex; do \ + for f in `cd doc/sphinx/_build/$$d && find . -type f`; do \ + $(MKDIR) $$(dirname $(FULLDOCDIR)/sphinx/$$d/$$f);\ + $(INSTALLLIB) doc/sphinx/_build/$$d/$$f $(FULLDOCDIR)/sphinx/$$d/$$f;\ + done; done) # For emacs: # Local Variables: |