Split up build in two parallel jobs.

Author: fredrikekre

.travis.yml

@@ -1,6 +1,9 @@
 language: julia
 os: linux
-julia: 1.0
+julia: 1.4
+env:
+  - BUILDTYPE=releases
+  - BUILDTYPE=nightly
 
 branches:
   only: master
@@ -13,6 +16,5 @@ script:
       git clone https://github.com/JuliaLang/julia.git $JULIA_SOURCE
     - export JULIA_DOCS=$PWD/pdf/build/docs.julialang.org &&
       git clone https://github.com/JuliaLang/docs.julialang.org.git -b assets --single-branch $JULIA_DOCS
-    - julia --color=yes pdf/make.jl releases
-    - julia --color=yes pdf/make.jl nightly
+    - julia --color=yes pdf/make.jl ${BUILDTYPE}
     - julia --color=yes pdf/make.jl commit

pdf/make.jl

@@ -140,6 +140,9 @@ function commit()
     end
     @info "committing built PDF files."
 
+    # Make sure the repo is up to date
+    run(`git pull origin`)
+
     mktemp() do keyfile, iokey; mktemp() do sshconfig, iossh
         # Set up keyfile
         write(iokey, base64decode(get(ENV, "DOCUMENTER_KEY_PDF", "")))