Move deployment into a separate page

Deployment is pretty unrelated to the definitions format, it's mostly
about how to run programs in the extensions/ directory. So I think
it makes sense to describe it in a separate page.

This helps shorten the 'Definitions format' page, which is pretty long
right now.

Change-Id: I13684a3cc0bc8bdd7c9c043dd2a9ee2addac0d6a

1 files changed, 1 insertions, 0 deletions

diff --git a/mkdocs.yml b/mkdocs.yml
index 3c5b7e8..2ecb636 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -16,6 +16,7 @@ copyright: |
 pages:
   - 'index.mdwn'
   - 'Definitions format': 'spec.mdwn'
+  - 'Deployment': 'deployment.mdwn'
   - 'changelog.mdwn'
 
 docs_dir: .