From adeadf0b747baa775e1137fa923b58871c3daa6b Mon Sep 17 00:00:00 2001
From: Tor Erlend Fjelde <tor.erlend95@gmail.com>
Date: Tue, 2 Jan 2024 18:56:50 +0000
Subject: [PATCH] temporarily disable doctests so we can build docs

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

diff --git a/docs/make.jl b/docs/make.jl
index 38c520d3a..c38853d5b 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -23,6 +23,7 @@ makedocs(;
         "Internals" => ["internals/varinfo.md"],
     ],
     checkdocs=:exports,
+    doctest=false,
 )
 
 deploydocs(; repo="github.com/TuringLang/DynamicPPL.jl.git", push_preview=true)