diff --git a/doc/users/index.rst b/doc/users/index.rst index 0ecff14c9a23..29cc5036f0d1 100644 --- a/doc/users/index.rst +++ b/doc/users/index.rst @@ -3,9 +3,9 @@ .. redirect-from:: /contents -########### -Users guide -########### +########## +User guide +########## General #######