Closed pfitzseb closed 3 years ago
Companion PR to https://github.com/JuliaDocs/Documenter.jl/pull/1595.
Companion PR to https://github.com/JuliaDocs/Documenter.jl/pull/1595.