BUILD: Work around old LaTeX distribution in GitHub CI

AlgebraicJulia · Sep 1, 2020 · 1006326 · 1006326
1 parent b69eb21
commit 1006326
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -12,6 +12,12 @@ using Catlab,
 
 @info "Building Literate.jl docs"
 
+# XXX: Work around old LaTeX distribution in GitHub CI.
+if haskey(ENV, "GITHUB_ACTIONS")
+  import TikzPictures
+  TikzPictures.standaloneWorkaround(true)
+end
+
 # Set Literate.jl config if not being compiled on recognized service.
 config = Dict{String,String}()
 if !(haskey(ENV, "GITHUB_ACTIONS") || haskey(ENV, "GITLAB_CI"))