Oscar Dowson
Oscar Dowson
My point was that doctest filters can already be used here. We don't need to complicate Documenter. Printed outputs from doctests already depend on specifics like the exact version of...
I haven't benchmarked, but I think the `minted` package is one cause of the excessively large compilation times for the JuMP documentation, so I would be in favor of this....
There is some other discussion in https://github.com/JuliaDocs/Documenter.jl/issues/658
Translated docs should also account for some of the hard-coded English words inside Documenter, like `Next`: https://github.com/JuliaDocs/Documenter.jl/issues/977
Closing as the current behavior is intended. See https://github.com/JuliaDocs/Documenter.jl/issues/2308 and https://github.com/JuliaDocs/Documenter.jl/pull/2313
They don't make sense if they're going to appear deeply nested in a hierarchy. x-ref https://github.com/JuliaDocs/Documenter.jl/issues/1801
The problem with `` headings is that they will render at the wrong sizes. `# heading` in a docstring should not be an `h1` heading on the page. But figuring...
x-ref https://github.com/JuliaDocs/Documenter.jl/issues/872
I think we could improve all error reporting, not just this specific one, or the reference one.
Yeah I wasn't sure if the warning closes this. It's a more helpful but still not very helpful warning.