* doc/misc/url.texi (http/https): Fix typo

diff --git a/doc/misc/url.texi b/doc/misc/url.texi
index e98fab4e0113bdd7d843e671637ecdd767b6488b..075d0f6fed15ef39cf60945b4e46188ac4299969 100644 (file)
--- a/doc/misc/url.texi
+++ b/doc/misc/url.texi
@@ -401,7 +401,7 @@ gateway method to be used.  @xref{Gateways in general}.
 @defopt url-honor-refresh-requests
 If this option is non-@code{nil} (the default), the @code{url} library
 honors the HTTP @samp{Refresh} header, which is used by servers to
-direct clients to reload documents from the same URL or a or different
+direct clients to reload documents from the same URL or a different
 one.  If the value is @code{nil}, the @samp{Refresh} header is
 ignored; any other value means to ask the user on each request.
 @end defopt