CI failures due to docstrings for @autoinfiltrate

[jlchan]

Looks like there are some CI failures due to docstrings for @autoinfiltrate. https://github.com/trixi-framework/Trixi.jl/actions/runs/4982571112/jobs/8918427933?pr=1458

[ Info: CrossReferences: building cross-references.
┌ Error: no doc found for reference '[`@autoinfiltrate`](@ref)' in src/development.md.
└ @ Documenter.CrossReferences ~/.julia/packages/Documenter/H5y27/src/Utilities/Utilities.jl:32
[ Info: CheckDocument: running document checks.
[ Info: Populate: populating indices.
ERROR: LoadError: `makedocs` encountered an error (:cross_references). Terminating build before rendering.
Stacktrace:
 [1] error(s::String)
...

Originally posted by @jlchan in #1460 (comment)

[jlchan]

Looks like these failures may have been spurious, I don't see them any longer in #1458...

[jlchan]

Never mind, they are still occurring in #1467

[sloede]

Does anyone understand what's wrong with this ref:

Trixi.jl/docs/src/development.md

Line 263 in db907d7

you can use the (non-exported) [`@autoinfiltrate`](@ref) macro

If I change this to

 you can use the (non-exported) `@autoinfiltrate` macro 

then it works and the entry in the API section is generated correctly:

I just don't get why it doesn't manage to get the ref correctly...

[jlchan]

Just to make sure, does Documenter.jl generate references properly in other warning blocks?