Someone pointed out an issue in our docs: https://github.com/JuliaPluto/PlutoUI.jl/issues/202 (our docs are just the juliahub docs) which is not happening when running Documenter.jl locally. My guess is that we are using a feature that was released recently (commenting with # inside @docs), but that JuliaHub is still using an old version of Documenter.jl?
pfitzseb
commented
2 years ago
Someone pointed out an issue in our docs: https://github.com/JuliaPluto/PlutoUI.jl/issues/202 (our docs are just the juliahub docs) which is not happening when running Documenter.jl locally. My guess is that we are using a feature that was released recently (commenting with
#inside@docs), but that JuliaHub is still using an old version of Documenter.jl?