gerrit 2.1.4-rc1
documentation: Use a variable to select the prior version This way we can set which version to copy the documentation files from when setting up a new revision. Change-Id: I0c9392e97b6c3da21500f173336e891ee3a91b76 Signed-off-by: Shawn O. Pearce <sop@google.com>