Feature #15138
Updated by Peter Amstutz over 5 years ago
Documentation building should run in a container, to minimize fussing around with dependencies.
In addition, we should support building multiple documentation versions (stable releases, master) and switching between them.