From 0ea71c4f04b3f12ae1cf3c18e69e191c40ec21fd Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Tue, 18 Feb 2020 14:59:48 +1300 Subject: [PATCH] Don't use startup.jl when building docs --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index efbd47b06c28a..8841ff5a05dc2 100644 --- a/Makefile +++ b/Makefile @@ -91,7 +91,7 @@ julia-debug julia-release : julia-% : julia-sysimg-% julia-symlink julia-libccal debug release : % : julia-% docs: julia-sysimg-$(JULIA_BUILD_MODE) - @$(MAKE) $(QUIET_MAKE) -C $(BUILDROOT)/doc JULIA_EXECUTABLE='$(call spawn,$(JULIA_EXECUTABLE_$(JULIA_BUILD_MODE)))' + @$(MAKE) $(QUIET_MAKE) -C $(BUILDROOT)/doc JULIA_EXECUTABLE='$(call spawn,$(JULIA_EXECUTABLE_$(JULIA_BUILD_MODE))) --startup-file=no' check-whitespace: ifneq ($(NO_GIT), 1)