diff options
author | 2017-06-23 08:26:15 +0200 | |
---|---|---|
committer | 2017-06-26 18:31:01 +0200 | |
commit | 1d8cd59173e9c1e2fd7fd03dd4b2a0ae8a35ef4b (patch) | |
tree | 9fa2e8667ffd10f26ff5137c5697b50a7905bc2b /src | |
parent | f8e5e0d3ac189b314e99450b806d1b52cfdd62ad (diff) |
Rework jekyll-tree build to add redirects from site root.
As described in the commit message for 5596d3b, the new docs.bazel.build
site will have one directory per released version and a master directory
for the latest documentation at HEAD. This change reworks the
jekyll-tree script to construct a final Jekyll tree containing the
documentation at HEAD with documentation under /versions/master and
redirect pages at the site root for each documentation page.
TESTED=scripts/serve-docs.sh
RELNOTES: None
PiperOrigin-RevId: 159920553
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions