JuliaDocs / DocumenterInterLinks.jl

A plugin for Documenter.jl that enables linking between projects
http://juliadocs.org/DocumenterInterLinks.jl/
MIT License
21 stars 1 forks source link

Add `ExternalFallbacks` plugin #3

Closed goerz closed 4 months ago

goerz commented 4 months ago

The plugin allows to resolve @ref links that fail resolution to fall back to @extref links. Any fallback must be declared explicitly, since the proper @extref link cannot generally be inferred from the @ref link. Even in situations where it could: the fallback should be used very very sparingly, and in no way substitutes @extref links (unlike how Intersphinx handles things).