diff options
author | David Chen <dzc@google.com> | 2016-08-29 08:56:37 +0000 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2016-08-29 09:42:52 +0000 |
commit | 15c09dd1b5dbd7e76fe42d193a79dab8bfc24abc (patch) | |
tree | e6df9943f0f96c095a6f91240a8f4bc3a84708d9 /site/_layouts/redirect.html | |
parent | 6f2e6fb1eff1a7a265778abf1eb32a850765599e (diff) |
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
Diffstat (limited to 'site/_layouts/redirect.html')
-rw-r--r-- | site/_layouts/redirect.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/site/_layouts/redirect.html b/site/_layouts/redirect.html new file mode 100644 index 0000000000..85ae15edbf --- /dev/null +++ b/site/_layouts/redirect.html @@ -0,0 +1,7 @@ +<html> + <head> + <script> + window.location.replace("/versions/{{ site.default_version }}/{{ page.redirect }}"); + </script> + </head> +</html> |