DOC: Display "dev" instead of "devdocs" in the version switcher

timhoffm · timhoffm · commit 816866d56e98 · 2022-09-19T13:30:57.000+02:00
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.
diff --git 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/"
     },
     {

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`	`},`
`7`	`7`	`{`
`8`	`8`	`"name": "3.7 (dev)",`
`9`		`- "version": "devdocs",`
	`9`	`+ "version": "dev",`
`10`	`10`	`"url": "https://matplotlib.org/devdocs/"`
`11`	`11`	`},`
`12`	`12`	`{`