Add DRI-based links between external documentations#10702

Closed

pikinier20 wants to merge 3 commits intoscala:masterfrom

pikinier20:external-location2

Commits on Dec 10, 2020

Add external location providing between scala3doc instances
pikinier20
committed
Add cli parameter to handle external documentation mappings
pikinier20
committed
Change usage of DRI. Change pages structure to more standarized. Minor fixes to external location mechanism.
pikinier20
committed