tree e6df9943f0f96c095a6f91240a8f4bc3a84708d9
parent 6f2e6fb1eff1a7a265778abf1eb32a850765599e
author David Chen <dzc@google.com> 1472460997 +0000
committer Klaus Aehlig <aehlig@google.com> 1472463772 +0000

Replace doc pages with redirects to versioned doc pages.

* Add a new `redirect` Jekyll layout.
* Replace all pages under docs/ with redirects to corresponding page under
  versions/master/.
* Prepend links on Documentation sidebar, including generated navs for the
  Skylark Library and Build Encyclopedia, with prefix for versioned directory.
* Add code to both the internal jekyll-config.sh and external jekyll-tree.sh
  to add redirect pages for the Skylark Library and Build Encyclopedia.
* Bring the branched User Manual doc up to date with latest changes.

--
MOS_MIGRATED_REVID=131568800