Use Documenter fork.

RomeoV · May 25, 2024 · 4ec9245 · 4ec9245
1 parent 1a45cbc
commit 4ec9245
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/Manifest.toml b/docs/Manifest.toml
@@ -529,7 +529,9 @@ version = "0.9.3"
 
 [[deps.Documenter]]
 deps = ["ANSIColoredPrinters", "AbstractTrees", "Base64", "CodecZlib", "Dates", "DocStringExtensions", "Downloads", "Git", "IOCapture", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "MarkdownAST", "Pkg", "PrecompileTools", "REPL", "RegistryInstances", "SHA", "TOML", "Test", "Unicode"]
-path = "/home/romeo/.julia/dev/Documenter"
+git-tree-sha1 = "7e8bf3e939caa2b594f27c211c7d3e3c1b4ba3f1"
+repo-rev = "master"
+repo-url = "https://github.com/romeov/Documenter.jl"
 uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 version = "1.4.1"