diff --git a/documentation/installation_guide.html b/documentation/installation_guide.html
index 14119569f8..316fdac276 100755
--- a/documentation/installation_guide.html
+++ b/documentation/installation_guide.html
@@ -690,6 +690,7 @@ If you have issues with files taking a long time to download, make sure you reco
location / {
rewrite ^/courses/([^/]+)/$ /main/course_home/course_home.php?cDir=$1 last;
rewrite ^/courses/([^/]+)/index.php$ main/course_home/course_home.php?cDir=$1 last;
+ rewrite ^/main/admin/$ /main/admin/index.php last;
try_files $uri @rewrite;
}
diff --git a/documentation/installation_guide_es_ES.html b/documentation/installation_guide_es_ES.html
index da366df8fd..d50c40697c 100755
--- a/documentation/installation_guide_es_ES.html
+++ b/documentation/installation_guide_es_ES.html
@@ -691,6 +691,7 @@ por ejemplo. El efecto debería ser inmediato.
location / {
rewrite ^/courses/([^/]+)/$ /main/course_home/course_home.php?cDir=$1 last;
rewrite ^/courses/([^/]+)/index.php$ main/course_home/course_home.php?cDir=$1 last;
+ rewrite ^/main/admin/$ /main/admin/index.php last;
try_files $uri @rewrite;
}
diff --git a/documentation/installation_guide_fr_FR.html b/documentation/installation_guide_fr_FR.html
index 733673b43e..9c584fefcf 100644
--- a/documentation/installation_guide_fr_FR.html
+++ b/documentation/installation_guide_fr_FR.html
@@ -757,6 +757,7 @@ Ce sont uniquement les redirections à placer dans un bloc server{}, comme les a
location / {
rewrite ^/courses/([^/]+)/$ /main/course_home/course_home.php?cDir=$1 last;
rewrite ^/courses/([^/]+)/index.php$ main/course_home/course_home.php?cDir=$1 last;
+ rewrite ^/main/admin/$ /main/admin/index.php last;
try_files $uri @rewrite;
}