Remove documenation manifest.

maleadt · maleadt · commit 5045f13963bb · 2025-01-09T11:35:36.000+01:00
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1,2 +1,3 @@
 build
 site
+Manifest.toml
diff --git a/docs/Manifest.toml b/docs/Manifest.toml
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,2 +1,5 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[compact]
+Documenter = "1.8"
