From bd5f2dae8473aefd2899f148ca49a4138ea79623 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Fri, 14 Dec 2018 08:41:29 +0100 Subject: [PATCH] dummy pdf --- pdf/make.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pdf/make.jl b/pdf/make.jl index 84672060359..730c8fca24f 100644 --- a/pdf/make.jl +++ b/pdf/make.jl @@ -86,7 +86,8 @@ function build_nightly_pdf() withenv("DOCUMENTER_VERBOSE" => "true", "TRAVIS_REPO_SLUG" => nothing, # workaround Documenter bugs and julia#26314 "BUILDROOT" => nothing) do - run(`make -C $(JULIA_SOURCE)/doc pdf texplatform=docker JULIA_EXECUTABLE=$(julia_exec)`) + # run(`make -C $(JULIA_SOURCE)/doc pdf texplatform=docker JULIA_EXECUTABLE=$(julia_exec)`) + run(`touch $("$(JULIA_SOURCE)/doc/_build/pdf/en/TheJuliaLanguage.pdf")`) end # copy the built PDF to JULIA_DOCS