From 1006326c8613f40757011acaf9778826ebe8289d Mon Sep 17 00:00:00 2001
From: Evan Patterson <evan@epatters.org>
Date: Sat, 29 Aug 2020 17:07:48 -0700
Subject: [PATCH] BUILD: Work around old LaTeX distribution in GitHub CI

---
 docs/make.jl | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/make.jl b/docs/make.jl
index 0ff88ca23..c44a3409f 100644
--- 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"))