Rename users documentation to user

This also adds a redirection from the old path "users" to the new one "user".

Related to T3650

swh/docs/sphinx/conf.py

@@ -153,6 +153,7 @@ redirects = {
     "swh-deposit/user-manual": "api/user-manual.html",
     "architecture": "architecture/overview.html",
     "mirror": "architecture/mirror.html",
+    "users": "user",
 }
 
 

tox.ini

@@ -15,7 +15,7 @@ setenv =
   SWHPKGDIR = {envsitepackagesdir}/swh
 commands =
   {envpython} -m pifpaf run postgresql -- make -C sysadm {posargs:html}
-  {envpython} -m pifpaf run postgresql -- make -C users {posargs:html}
+  {envpython} -m pifpaf run postgresql -- make -C user {posargs:html}
   {envpython} -m pifpaf run postgresql -- make -C docs {posargs:html}
 
 [testenv:sphinx-dev]
@@ -27,7 +27,7 @@ setenv =
   SWHPKGDIR = {envsitepackagesdir}/swh
 commands =
   {envpython} -m pifpaf run postgresql -- make -C sysadm {posargs:html}
-  {envpython} -m pifpaf run postgresql -- make -C users {posargs:html}
+  {envpython} -m pifpaf run postgresql -- make -C user {posargs:html}
   {envpython} -m pifpaf run postgresql -- make -C docs {posargs:html}
 
 [testenv:black]