From bb19c7eccf9b24927930fb364c1dc84df6a1475f Mon Sep 17 00:00:00 2001
From: Alexandre Flament <alex@al-f.net>
Date: Wed, 16 Mar 2022 22:23:33 +0100
Subject: [PATCH] Sphinx doc: rename "User documentation" to "User Information"

---
 docs/user/index.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/user/index.rst b/docs/user/index.rst
index dc9fb0da2..af2051f01 100644
--- a/docs/user/index.rst
+++ b/docs/user/index.rst
@@ -1,6 +1,6 @@
-==================
-User documentation
-==================
+================
+User information
+================
 
 .. contents:: Contents
    :depth: 3