aboutsummaryrefslogtreecommitdiff
path: root/gg.1
diff options
context:
space:
mode:
authorOmar Polo <op@omarpolo.com>2022-01-30 13:31:29 +0000
committerOmar Polo <op@omarpolo.com>2022-01-30 13:31:29 +0000
commitd78dbe8db5744bbc37bbbb1c19c9a1fd8cbc055b (patch)
tree74c9551254b7a0bd362c9e214d6cf4ad9e06959c /gg.1
parent5266f50060b37bc59e20bc06771a9888939ec7be (diff)
fix gg -P flag description: the `:' is in the optional part
Diffstat (limited to 'gg.1')
-rw-r--r--gg.14
1 files changed, 2 insertions, 2 deletions
diff --git a/gg.1 b/gg.1
index 6dd3f31..23ac0bb 100644
--- a/gg.1
+++ b/gg.1
@@ -11,7 +11,7 @@
.\" WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
.\" ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
.\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-.Dd $Mdocdate: January 13 2022$
+.Dd $Mdocdate: January 30 2022$
.Dt GG 1
.Os
.Sh NAME
@@ -74,7 +74,7 @@ is used.
Disables the server name verification.
.It Fl n
Check that the given IRI is valid, but don't make any requests.
-.It Fl P Ar host : Ns Op Ar port
+.It Fl P Ar host Ns Oo : Ns Ar port Oc
Connect to the given
.Ar host
and