build based on 94a8b78

Documenter.jl · Documenter.jl · commit e07d65ccaf26 · 2024-05-17T13:34:03.000Z
diff --git a/dev/siteinfo.js b/dev/siteinfo.js
@@ -0,0 +1 @@
+var DOCUMENTER_CURRENT_VERSION = "dev";
diff --git a/index.html b/index.html
@@ -0,0 +1,2 @@
+<!--This file is automatically generated by Documenter.jl-->
+<meta http-equiv="refresh" content="0; url=./dev/"/>
diff --git a/versions.js b/versions.js
@@ -0,0 +1,5 @@
+var DOC_VERSIONS = [
+  "dev",
+];
+var DOCUMENTER_NEWEST = "dev";
+var DOCUMENTER_STABLE = "dev";

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+var DOCUMENTER_CURRENT_VERSION = "dev";`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+<!--This file is automatically generated by Documenter.jl-->`
	`2`	`+<meta http-equiv="refresh" content="0; url=./dev/"/>`