aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorThéo Zimmermann2020-12-11 10:02:27 +0100
committerThéo Zimmermann2020-12-11 10:02:30 +0100
commit1605ae821f151f1e4b4edab9a0dded02cb91eebf (patch)
tree77e328ea3aa893d0f25fc59e0fa4c626a01a881b /doc
parent1918f19cb43d6d4313276b167af38316b27879f2 (diff)
Clarify changelog categories.
For readers of the changelog: title "Tools" become "Command-line tools". For developers: changelog categories 07 and 08 are disambiguated.
Diffstat (limited to 'doc')
-rw-r--r--doc/changelog/07-vernac-commands-and-options/00000-title.rst (renamed from doc/changelog/07-commands-and-options/00000-title.rst)0
-rw-r--r--doc/changelog/07-vernac-commands-and-options/13556-master.rst (renamed from doc/changelog/07-commands-and-options/13556-master.rst)0
-rw-r--r--doc/changelog/08-cli-tools/00000-title.rst4
-rw-r--r--doc/changelog/08-tools/00000-title.rst4
4 files changed, 4 insertions, 4 deletions
diff --git a/doc/changelog/07-commands-and-options/00000-title.rst b/doc/changelog/07-vernac-commands-and-options/00000-title.rst
index fe50ae0e16..fe50ae0e16 100644
--- a/doc/changelog/07-commands-and-options/00000-title.rst
+++ b/doc/changelog/07-vernac-commands-and-options/00000-title.rst
diff --git a/doc/changelog/07-commands-and-options/13556-master.rst b/doc/changelog/07-vernac-commands-and-options/13556-master.rst
index 05a60026a3..05a60026a3 100644
--- a/doc/changelog/07-commands-and-options/13556-master.rst
+++ b/doc/changelog/07-vernac-commands-and-options/13556-master.rst
diff --git a/doc/changelog/08-cli-tools/00000-title.rst b/doc/changelog/08-cli-tools/00000-title.rst
new file mode 100644
index 0000000000..4c0de43f66
--- /dev/null
+++ b/doc/changelog/08-cli-tools/00000-title.rst
@@ -0,0 +1,4 @@
+
+Command-line tools
+^^^^^^^^^^^^^^^^^^
+
diff --git a/doc/changelog/08-tools/00000-title.rst b/doc/changelog/08-tools/00000-title.rst
deleted file mode 100644
index 581585a8a7..0000000000
--- a/doc/changelog/08-tools/00000-title.rst
+++ /dev/null
@@ -1,4 +0,0 @@
-
-Tools
-^^^^^
-