diff --git a/.gitignore b/.gitignore
index 989775f50e..52298f309b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,5 @@
/Core/GDCore/Tools/VersionPriv.h
-/docs/GDJS Runtime Documentation
-/docs/GDJS Documentation
-/docs/GDCpp Documentation
-/docs/GDCore Documentation
+/docs
/ExtLibs/SFML
/ExtLibs/*.7z
/scripts/logs/*.txt
diff --git a/Core/GDCore/DocMainPage.h b/Core/GDCore/DocMainPage.h
index 2f0f6e3d88..2f8ad2dd61 100644
--- a/Core/GDCore/DocMainPage.h
+++ b/Core/GDCore/DocMainPage.h
@@ -7,10 +7,10 @@
*
* \section gettingstarted Getting started
*
- * In most cases, you should start by installing and launching the development version of GDevelop.
+ * In most cases, you should start by installing and launching the development version of GDevelop.
*
- * - If you're interested in writing extensions for GDevelop, read the documentation about extensions.
- * - If you want to dig more into how GDevelop is architectured and work on the core, read GDevelop Architecture Overview. Then, you can browse this reference to get more information about a class or function.
+ * - If you're interested in writing extensions for GDevelop, read the documentation about extensions.
+ * - If you want to dig more into how GDevelop is architectured and work on the core, read GDevelop Architecture Overview. Then, you can browse this reference to get more information about a class or function.
*
* \section other Other documentations
*
@@ -18,8 +18,8 @@
*
* - [Open GDevelop C++ Platform documentation](../GDCpp Documentation/index.html)
* - [Open GDevelop JS Platform documentation](../GDJS Documentation/index.html)
- * - Getting started with the editor
- * - Getting started with the extensions
+ * - Getting started with the editor
+ * - Getting started with the extensions
*/
/**