diff options
| author | Daniel Salzman <daniel.salzman@nic.cz> | 2024-05-04 20:21:10 +0200 |
|---|---|---|
| committer | Daniel Salzman <daniel.salzman@nic.cz> | 2024-05-05 21:22:54 +0200 |
| commit | fa69024906d34b7376ef46c4098bfe2d76212624 (patch) | |
| tree | 7e58eb2359b80d04dd21e7419c78e91461f1a147 /doc | |
| parent | doc: remove man templates from the repository, keep them in a tarball (diff) | |
| download | knot-fa69024906d34b7376ef46c4098bfe2d76212624.tar.xz knot-fa69024906d34b7376ef46c4098bfe2d76212624.zip | |
man: use grouped targets in the Makefile to avoid potential parallel building
fixes #928
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 172356a4c..3fa0e9615 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -140,9 +140,8 @@ pdf-local install-pdf-local: @echo "Install 'pdflatex' and re-run configure to be able to generate PDF documentation!" endif # HAVE_PDFLATEX -.NOTPARALLEL: man man: $(man_MANS) -$(man_MANS): $(MANPAGES_RST) +$(man_MANS)&: $(MANPAGES_RST) $(AM_V_SPHINX)$(SPHINXBUILD) -b man -d $(SPHINXBUILDDIR)/doctrees $(man_SPHINXOPTS) $(SPHINXBUILDDIR)/man @mkdir -p man @for f in $(SPHINXBUILDDIR)/man/*; do \ |