diff --git a/docs/make.jl b/docs/make.jl
index 828b20658..b8f8de7bb 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -34,7 +34,11 @@ makedocs(;
         Base.get_extension(DynamicPPL, :DynamicPPLMarginalLogDensitiesExt),
     ],
     pages=[
-        "Home" => "index.md", "API" => "api.md", "Internals" => ["internals/varinfo.md"]
+        "Home" => "index.md",
+        "API" => "api.md",
+        # TODO(mhauru) The varinfo.md has fallen badly out of date. Update it and add it
+        # back in.
+        #"Internals" => ["internals/varinfo.md"],
     ],
     checkdocs=:exports,
     doctest=false,