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}. | |||
| 401 | @defopt url-honor-refresh-requests | 401 | @defopt url-honor-refresh-requests |
| 402 | If this option is non-@code{nil} (the default), the @code{url} library | 402 | If this option is non-@code{nil} (the default), the @code{url} library |
| 403 | honors the HTTP @samp{Refresh} header, which is used by servers to | 403 | honors the HTTP @samp{Refresh} header, which is used by servers to |
| 404 | direct clients to reload documents from the same URL or a or different | 404 | direct clients to reload documents from the same URL or a different |
| 405 | one. If the value is @code{nil}, the @samp{Refresh} header is | 405 | one. If the value is @code{nil}, the @samp{Refresh} header is |
| 406 | ignored; any other value means to ask the user on each request. | 406 | ignored; any other value means to ask the user on each request. |
| 407 | @end defopt | 407 | @end defopt |