docs: rename dev to devel (#18)

fcanovai · web-flow · commit adfa6e3f6819 · 2025-12-18T11:13:13.000+01:00
Signed-off-by: Francesco Canovai &lt;francesco.canovai@enterprisedb.com&gt;
diff --git a/website/versions_config.json b/website/versions_config.json
@@ -1,8 +1,9 @@
 {
   "current": {
-    "label": "Dev",
+    "label": "Devel",
     "badge": true,
-    "banner": "unreleased"
+    "banner": "unreleased",
+    "path": "devel"
   },
   "1.27": {
     "badge": true,
