dummy pdf

JuliaLang · Dec 14, 2018 · 96937e1 · 96937e1
1 parent 73e9ac1
commit 96937e1
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/pdf/make.jl b/pdf/make.jl
@@ -86,7 +86,9 @@ 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)`)
+        mkpath("$(JULIA_SOURCE)/doc/_build/pdf/en")
+        touch("$(JULIA_SOURCE)/doc/_build/pdf/en/TheJuliaLanguage.pdf")
     end
 
     # copy the built PDF to JULIA_DOCS
@@ -130,10 +132,10 @@ end
 
 # similar to Documenter.deploydocs
 function commit()
-    if get(ENV, "TRAVIS_PULL_REQUEST", "true") != "false"
-        @info "skipping commit from pull requests."
-        return
-    end
+    # if get(ENV, "TRAVIS_PULL_REQUEST", "true") != "false"
+    #     @info "skipping commit from pull requests."
+    #     return
+    # end
     @info "committing built PDF files."
 
     # initialize git