diff options
-rw-r--r-- | site/_layouts/contribute.html | 2 | ||||
-rw-r--r-- | site/designs/_posts/2016-06-02-sandboxing.md (renamed from site/docs/designs/_posts/2016-06-02-sandboxing.md) | 0 | ||||
-rw-r--r-- | site/designs/_posts/2016-06-21-environment.md (renamed from site/docs/designs/_posts/2016-06-21-environment.md) | 0 | ||||
-rw-r--r-- | site/designs/index.md (renamed from site/docs/designs/index.md) | 0 |
4 files changed, 1 insertions, 1 deletions
diff --git a/site/_layouts/contribute.html b/site/_layouts/contribute.html index 4ec8f21c0f..0fce4d197d 100644 --- a/site/_layouts/contribute.html +++ b/site/_layouts/contribute.html @@ -32,7 +32,7 @@ nav: contribute <h3>How Bazel Works</h3> <ul class="sidebar-nav"> <li><a href="/docs/skyframe.html">Skyframe</a></li> - <li><a href="/docs/designs/index.html">Design Documents</a></li> + <li><a href="/designs/index.html">Design Documents</a></li> </ul> <h3>External Resources</h3> <ul class="sidebar-nav"> diff --git a/site/docs/designs/_posts/2016-06-02-sandboxing.md b/site/designs/_posts/2016-06-02-sandboxing.md index dd81f61a22..dd81f61a22 100644 --- a/site/docs/designs/_posts/2016-06-02-sandboxing.md +++ b/site/designs/_posts/2016-06-02-sandboxing.md diff --git a/site/docs/designs/_posts/2016-06-21-environment.md b/site/designs/_posts/2016-06-21-environment.md index e8e42f816f..e8e42f816f 100644 --- a/site/docs/designs/_posts/2016-06-21-environment.md +++ b/site/designs/_posts/2016-06-21-environment.md diff --git a/site/docs/designs/index.md b/site/designs/index.md index f65368ea76..f65368ea76 100644 --- a/site/docs/designs/index.md +++ b/site/designs/index.md |