From e32b32fc0b860a5e6e84e1c80c06a58ba46e9674 Mon Sep 17 00:00:00 2001 From: Ian Butterworth Date: Mon, 11 Mar 2024 15:53:40 -0400 Subject: [PATCH] debug --- docs/make.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/make.jl b/docs/make.jl index 6ed0f29..de118ed 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -7,6 +7,7 @@ ENV["GKSwstype"] = "nul" # needed for the GR backend on headless servers gr() demos, demos_cb, demos_assets = makedemos("demos") +@show demos demos_cb demos_assets assets = [] isnothing(demos_assets) || (push!(assets, demos_assets))