From 66ee17e44908e7339d59bc46d6aa3ae1c8cc5fe1 Mon Sep 17 00:00:00 2001
From: Ahmed El Moden <cresuso@gmail.com>
Date: Thu, 28 May 2020 15:06:04 +0200
Subject: [PATCH] Nginx dev config

---
 setup/web_server_configuration.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup/web_server_configuration.rst b/setup/web_server_configuration.rst
index d2defbaad19..52d673e5aca 100644
--- a/setup/web_server_configuration.rst
+++ b/setup/web_server_configuration.rst
@@ -264,6 +264,7 @@ The **minimum configuration** to get your application running under nginx is:
 
         location / {
             # try to serve file directly, fallback to app.php
+            # replace app.php by app_dev.php in dev
             try_files $uri /app.php$is_args$args;
         }
         # DEV