Sphinx doc: rename "User documentation" to "User Information"

2022-03-16 22:23:33 +01:00 · 2022-03-16 22:23:33 +01:00 · bb19c7eccf
parent 22cc4d3e5c
commit bb19c7eccf
1 changed files with 3 additions and 3 deletions
--- a/docs/user/index.rst
+++ b/docs/user/index.rst
@ -1,6 +1,6 @@
-==================
-User documentation
-==================
+================
+User information
+================

 .. contents:: Contents
   :depth: 3