Rename dev subdirectory to plugin-development

This should make the contents clearer
2026-04-15 16:49:52 +00:00 · 2016-06-25 09:51:15 -05:00 · 2016-06-25 09:51:15 -05:00 · 5c8d767626
commit 5c8d767626
parent 14ce512b9a
7 changed files with 4 additions and 4 deletions
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@ -100,7 +100,7 @@ plugins and distribute them to others.
 .. toctree::
    :maxdepth: 2
-    dev/index
+    plugin-development/index
 Contributor Guide
 =================
--- a/docs/source/plugin-development/.keep
+++ b/docs/source/plugin-development/.keep
--- a/docs/source/plugin-development/cross-compatibility.rst
+++ b/docs/source/plugin-development/cross-compatibility.rst
--- a/docs/source/plugin-development/formatters.rst
+++ b/docs/source/plugin-development/formatters.rst
--- a/docs/source/plugin-development/index.rst
+++ b/docs/source/plugin-development/index.rst
@ -46,10 +46,10 @@ section we cover:
    :caption: Plugin Developer Documentation
    :maxdepth: 2
-    registering_plugins
+    registering-plugins
-    plugin_parameters
+    plugin-parameters
    formatters
-    cross_compatibility
+    cross-compatibility
 .. _entry points:
--- a/docs/source/plugin-development/plugin-parameters.rst
+++ b/docs/source/plugin-development/plugin-parameters.rst
--- a/docs/source/plugin-development/registering-plugins.rst
+++ b/docs/source/plugin-development/registering-plugins.rst