diff options
| -rw-r--r-- | doc/misc/url.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/url.texi b/doc/misc/url.texi index e98fab4e011..075d0f6fed1 100644 --- 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 |