diff --git a/docs/index.html b/docs/index.html
index 8bf2a2f..a6c46b5 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -59,13 +59,17 @@
                 // Here are guides only related to modifying the server/client.
                 "WorkInProgress": "demo.md"
             },
-            "Ressources": {
-                "Index": "ressources/index.md",
-                "Player profile": "ressources/ressources_player_profile.md",
-                "Quests": "ressources/ressources_quests.md",
-                "Locations": "ressources/ressources_locations.md",
-                "Item stats": "ressources/ressources_items_stats.md",
-                "Other": "ressources/ressources_other.md",
+            "Resources": {
+                "Index": "resources/index.md",
+                "Player profile": "resources/resources_player_profile.md",
+                "Quests": "resources/resources_quests.md",
+                "Locations": "resources/resources_locations.md",
+                "Item stats": "resources/resources_items_stats.md",
+                "Other": "resources/resources_other.md",
+            },
+            "Development": {
+                // Documents related to maintaining the project
+                "Dump game data": "development/dump_data.md"
             },
             // "DEBUG": {
             //     "** Markdown Demo": "demo.md"