From d6205987a33d8ea89e3295e21dd1ecff33201237 Mon Sep 17 00:00:00 2001 From: voodoorai2000 Date: Sat, 6 Apr 2019 20:54:42 +0200 Subject: [PATCH] Add Vagrant to documentation menu --- docs/SUMMARY.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md index d49b6b6f6..9fa6d3d0a 100644 --- a/docs/SUMMARY.md +++ b/docs/SUMMARY.md @@ -15,6 +15,7 @@ * [Debian Linux](en/installation/debian.md) * [MacOS](en/installation/macos.md) * [Windows](en/installation/windows.md) + * [Vagrant](en/installation/vagrant.md) * [Production and Staging servers](en/installation/servers.md) * [Installer](en/installation/installer.md) * [Crear usuario](en/installation/create_deploy_user.md) @@ -63,6 +64,7 @@ * [Debian Linux](es/installation/debian.md) * [MacOS](es/installation/macos.md) * [Windows](es/installation/windows.md) + * [Vagrant](es/installation/vagrant.md) * [Servidores de producción y pruebas](es/installation/servers.md) * [Instalador](es/installation/installer.md) * [Create a deploy user](es/installation/create_deploy_user.md)