Feature #15138
Updated by Peter Amstutz over 5 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 target version, displayed on page header version being built ## link to index page with parameter listing all versions ## populate dropdown menu with links to each version # upload documentation to doc server at a target version directory # regenerate index page with all versions + master # upload index page development tasks: * documentation lists selected version, dropdown menu links to every version ops task: * jenkins job to generate documentation for target version (either as part of build pipeline or release process) TBD: static menus won't include links to newer versions unless they are regenerated. Accept that is the case, regenerate everything each time or use javascript/ajax to populate menu contents?