# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1163710219 0
# Node ID c21a2416767994a42b6631cf78e7427a9026046f
# Parent  163a35d9cbc8ae31316747e1657bece659768755
(http/https): Fix a typo in the HTTP URL.

diff -r 163a35d9cbc8 -r c21a24167679 man/url.texi
--- a/man/url.texi	Thu Nov 16 15:47:56 2006 +0000
+++ b/man/url.texi	Thu Nov 16 20:50:19 2006 +0000
@@ -250,7 +250,7 @@
 defined in RFC 1945) HTTP URLs have the following form, where most of
 the parts are optional:
 @example
-http://@var{user}:@var{password}@var{host}:@var{port}/@var{path}?@var{searchpart}#@var{fragment}
+http://@var{user}:@var{password}@@@var{host}:@var{port}/@var{path}?@var{searchpart}#@var{fragment}
 @end example
 @c The @code{:@var{port}} part is optional, and @var{port} defaults to
 @c 80.  The @code{/@var{path}} part, if present, is a slash-separated