diff options
Diffstat (limited to '_layouts/page.html')
| -rw-r--r-- | _layouts/page.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_layouts/page.html b/_layouts/page.html index d4a8cb4fc..a3bf893b2 100644 --- a/_layouts/page.html +++ b/_layouts/page.html @@ -47,6 +47,7 @@ layout: default <li><a href="{{ site.baseurl }}docs/installing/">Installing</a> <ul> <li><a href="{{ site.baseurl }}docs/installing/script/">Install script</a></li> + <li><a href="{{ site.baseurl }}docs/installing/vagrant/">Vagrant</a></li> <li><a href="{{ site.baseurl }}docs/installing/ami/">Alaveteli AMI for EC2</a></li> <li><a href="{{ site.baseurl }}docs/installing/manual_install/">Manual Install</a></li> <li><a href="{{ site.baseurl }}docs/installing/deploy/">Deploying</a></li> |