diff options
Diffstat (limited to 'docs/_layouts')
| -rw-r--r-- | docs/_layouts/page.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/_layouts/page.html b/docs/_layouts/page.html index 79097b5a9..11ec206ec 100644 --- a/docs/_layouts/page.html +++ b/docs/_layouts/page.html @@ -56,9 +56,10 @@ layout: default <li><h2>Installing</h2> <ul> <li><a href="{{ "/install/manual-install/" | relative_url }}">Manually</a> + <li><a href="{{ "/install/docker/" | relative_url }}">Docker</a></li> + <li><a href="{{ "/install/ami/" | relative_url }}">AMI for EC2</a></li> <li><a href="{{ "/install/install-script/" | relative_url }}">Install script</a></li> <li><a href="{{ "/install/vagrant/" | relative_url }}">Vagrant</a></li> - <li><a href="{{ "/install/ami/" | relative_url }}">AMI for EC2</a></li> <li><a href="{{ "/install/troubleshooting/" | relative_url }}">Troubleshooting</a></li> </ul> </li> |