mirror of https://github.com/omar-polo/gmid.git
fix gg -P flag description: the `:' is in the optional part
This commit is contained in:
parent
5266f50060
commit
d78dbe8db5
4
gg.1
4
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
|
||||
|
|
Loading…
Reference in New Issue