From 258c44044f439160c1f2a47c84dd30c7f57b05de Mon Sep 17 00:00:00 2001 From: Milan Bouchet-Valat Date: Mon, 6 Nov 2017 19:26:37 +0100 Subject: [PATCH] Exclude version_git.jl from list of dependencies for HTML docs This file is modified by the light-source-dist target when preparing tarballs. Depending on it means that the docs will be rebuilt when calling 'make install' from the tarballs. This requires downloading files, which is problematic for replicable builds and may not be possible on build servers. Ref #24496 (cherry picked from commit bd019a4037f59c0ab1db8a08c0d4a4aa23f52ad5) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9dfbf522a1d21d..e00c597f83ea18 100644 --- a/Makefile +++ b/Makefile @@ -55,7 +55,7 @@ julia_flisp.boot.inc.phony: julia-deps @$(MAKE) $(QUIET_MAKE) -C $(BUILDROOT)/src julia_flisp.boot.inc.phony # Build the HTML docs (skipped if already exists, notably in tarballs) -$(BUILDROOT)/doc/_build/html/en/index.html: $(shell find $(BUILDROOT)/base $(BUILDROOT)/doc \( -path $(BUILDROOT)/doc/_build -o -path $(BUILDROOT)/doc/deps -o -name *_constants.jl -o -name *_h.jl \) -prune -o -type f -print) +$(BUILDROOT)/doc/_build/html/en/index.html: $(shell find $(BUILDROOT)/base $(BUILDROOT)/doc \( -path $(BUILDROOT)/doc/_build -o -path $(BUILDROOT)/doc/deps -o -name *_constants.jl -o -name *_h.jl -o -name version_git.jl \) -prune -o -type f -print) @$(MAKE) docs # doc needs to live under $(build_docdir), not under $(build_datarootdir)/julia/