Clone git repository properly in API server container. (refs #2221)

[arvados.git] / doc / _config.yml

diff --git a/doc/_config.yml b/doc/_config.yml
index 3ec959ac2532b401e0800bb7d5718e8ddb9619fc..8d4fd5e115e361527131b3b01904310e63c304db 100644 (file)
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -40,6 +40,11 @@ navbar:
     - Reference:
       - user/reference/api-tokens.html.textile.liquid
       - user/reference/sdk-cli.html.textile.liquid
+    - Arvados License:
+      - user/copying/copying.html.textile.liquid
+      - user/copying/agpl-3.0.html
+      - user/copying/LICENSE-2.0.html
+      - user/copying/by-sa-3.0.html
   sdk:
     - Overview:
       - sdk/index.html.textile.liquid
@@ -105,8 +110,8 @@ navbar:
     - Install:
       - install/index.html.md.liquid
       - install/install-sso.html.textile.liquid
-      - install/install-api-server.html.md.liquid
-      - install/install-workbench-app.html.md.liquid
+      - install/install-api-server.html.textile.liquid
+      - install/install-workbench-app.html.textile.liquid
       - install/client.html.textile.liquid
       - install/create-standard-objects.html.textile.liquid
       - install/install-crunch-dispatch.html.textile.liquid