Make a unique program with all commands

1 files changed, 7 insertions, 7 deletions

diff --git a/doc/webid-oidc.texi b/doc/webid-oidc.texi
index 039bf30..f7da5b3 100644
--- a/doc/webid-oidc.texi
+++ b/doc/webid-oidc.texi
@@ -439,7 +439,7 @@ the seed.
 @chapter Running a Resource Server
 
 @menu
-* Running webid-oidc-reverse-proxy::
+* Running webid-oidc reverse-proxy::
 * The authenticator::
 * Resources stored on the server::
 @end menu
@@ -448,11 +448,11 @@ A Solid server is the server that manages your data. It needs to check
 that the proofs of possession are correct, and the possessed key is
 signed by the identity provider.
 
-@node Running webid-oidc-reverse-proxy
-@section Running webid-oidc-reverse-proxy
+@node Running webid-oidc reverse-proxy
+@section Running webid-oidc reverse-proxy
 
-The distribution comes with a reverse proxy, aptly named
-@code{webid-oidc-reverse-proxy}, to listen to an interface, take
+The @code{webid-oidc} program comes with a reverse proxy command,
+aptly named @code{reverse-proxy}, to listen to an interface, take
 requests, authenticate them, and pass them to a backend with an
 additional header containing the webid of the agent, if authenticated.
 
@@ -461,9 +461,9 @@ The reverse proxy is invoked with the following arguments:
 @table @asis
 @item @code{-p}@var{PORT}, @code{--port=}@var{PORT}
 the port on which the reverse proxy listens;
-@item @code{-i}@var{INBOUND}, @code{--inbound-uri=}@var{INBOUND}
+@item @code{-n}@var{URI}, @code{--server-name=}@var{URI}
 the public name of the server;
-@item @code{-o}@var{OUTBOUND}, @code{--outbound-uri=}@var{OUTBOUND}
+@item @code{-b}@var{URI}, @code{--backend-uri=}@var{URI}
 the address of the backend;
 @item @code{-H}@var{HEADER}, @code{--header=}@var{HEADER}
 replace the name of the header that will contain the webid of the