Using DocInventories.jl for links between GAPDoc and Documenter?

[fingolfin]

Today I learned about https://github.com/JuliaDocs/DocInventories.jl and https://github.com/JuliaDocs/DocumenterInterLinks.jl

The latter allows linking between documentation of two (or more) projects using Documenter.jl or Spinx (used by many Python packages). The former is the backbone for that integration in that it reads and write "inventories" for those manuals which enables the linking.

In theory it should be possible to extend GAPDoc to also write such objects.inv files, and who knows, perhaps also read them with some effort.

That would then allow linking between Documenter and GAPDoc manuals (well, and Sphinx manuals).

This is nothing urgent but might nevertheless be interesting to pursue.