[master] d7d31e47e more sphinx build fiddling

Nils Goroll nils.goroll at uplex.de
Tue Jul 28 10:43:07 UTC 2020


commit d7d31e47eeafa7457bc65047367aec8ba4f062f8
Author: Nils Goroll <nils.goroll at uplex.de>
Date:   Tue Jul 28 12:37:50 2020 +0200

    more sphinx build fiddling
    
    In the previous commit, I argued that adding the link job to
    `BUILT_SOURCES` was the better option than adding it to the `all`
    target, but I overlooked the fact that also the `BUILT_SOURCES` are
    built in parallel (only before all other targets). Thus, we still need
    an explicit dependency on the link job.

diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am
index f7b67755b..02392dc4b 100644
--- a/doc/sphinx/Makefile.am
+++ b/doc/sphinx/Makefile.am
@@ -208,6 +208,6 @@ RST_BUILT += include/vmod_proxy.generated.rst
 EXTRA_DIST += $(RST_BUILT)
 BUILT_SOURCES += $(RST_BUILT)
 CLEANFILES = $(RST_BUILT)
-
+$(RST_BUILT): $(rstlinks)
 
 .NOPATH: $(BUILT_SOURCES)


More information about the varnish-commit mailing list