diff options
| author | Vincent Laporte | 2019-03-05 07:56:00 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-05 08:47:10 +0000 |
| commit | 314898447b30639e2c199aea32b41b0d42864d37 (patch) | |
| tree | 6ef2f05c1aa1b90f296535b23852336068a31a17 /Makefile.doc | |
| parent | b0d35837ff193b66ba37355093b2227f2b1be1ac (diff) | |
[make] Sphinx: install only `html/` and `latex/` directories
Diffstat (limited to 'Makefile.doc')
| -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: |