From 816866d56e98727bc389566c5e6808946a016929 Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Mon, 19 Sep 2022 13:29:48 +0200
Subject: [PATCH] DOC: Display "dev" instead of "devdocs" in the version
 switcher

While the url is devdocs historically, and I'm not going to
change this, the displayed names should be "stable" and "dev".
This has the added advantage that dev takes a little less space
in the menubar, and thus wrapping occurs slightly later.
---
 doc/_static/switcher.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/_static/switcher.json b/doc/_static/switcher.json
index 8109b1d5be2b..c72cbac2b27a 100644
--- a/doc/_static/switcher.json
+++ b/doc/_static/switcher.json
@@ -6,7 +6,7 @@
     },
     {
         "name": "3.7 (dev)",
-        "version": "devdocs",
+        "version": "dev",
         "url": "https://matplotlib.org/devdocs/"
     },
     {