Feature #15138
Updated by Peter Amstutz almost 6 years ago
We should support building multiple documentation versions (stable releases, master) and switching between them.
New jenkins job that takes a git ref (tag or 'master') and builds documentation for that version.
# git checkout target version
# Get list of all tags in git + 'master'
# build documentation
## parameter for version being built
## parameter listing all versions
## populate dropdown menu with links to each version
# upload documentation to doc server at a target version directory