Feature #15138
Updated by Tom Morris almost 6 years ago
We 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.