build based on 18a08af

Documenter.jl · Documenter.jl · commit f47e1472c25d · 2025-06-25T14:12:27.000-05:00
diff --git a/dev/siteinfo.js b/dev/siteinfo.js
@@ -0,0 +1,2 @@
+var DOCUMENTER_CURRENT_VERSION = "dev";
+var DOCUMENTER_IS_DEV_VERSION = true;
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,2 @@`
	`1`	`+var DOCUMENTER_CURRENT_VERSION = "dev";`
	`2`	`+var DOCUMENTER_IS_DEV_VERSION = true;`
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/"/>`