From 7afcea941b7b754bedaa588444925481ddd24db9 Mon Sep 17 00:00:00 2001
From: jverzani <jverzani@gmail.com>
Date: Tue, 24 May 2022 13:54:51 -0400
Subject: [PATCH] test_ci

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

diff --git a/docs/make.jl b/docs/make.jl
index 1e979ef..836d654 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -64,6 +64,7 @@ if isnothing(folder) && isnothing(file)
     #     build_pages(folder, nothing, target, force)
     # end
 
+
     # # others need to integrate with Pluto
     # for folder ∈ ("alternatives", "misc")
     #     build_pages(folder, nothing, "weave_html", force)