aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc
diff options
context:
space:
mode:
authorGlenn Morris2017-11-29 17:12:56 -0800
committerGlenn Morris2017-11-29 17:12:56 -0800
commitf069ea4f84a94bfbbd444073729f81fdd27c9445 (patch)
tree6adf14a7d71264bb20c87a426df6e18e0edba9a3 /doc/misc
parent03e1012be4028e653bd88c93846b17172b5c0faa (diff)
parent408862f02a874dcd9cfc2599adb35dec522b3ef4 (diff)
downloademacs-f069ea4f84a94bfbbd444073729f81fdd27c9445.tar.gz
emacs-f069ea4f84a94bfbbd444073729f81fdd27c9445.zip
Merge from origin/emacs-26
408862f02a (origin/emacs-26) ; * lisp/emacs-lisp/bytecomp.el: Tweak m... 9964db4c34 Restore obsolete method of changing byte-compile-dest-file 3dd25aeecb Some minor Tramp corrections d670a15f25 * doc/misc/url.texi (http/https): Fix typo 99d07e8d5e Remove some bogus definition-prefixes from loaddefs 6067f0c702 Shell-quote wildcards when invoking 'vc-git-grep' 0540df10e6 Update documentation of '.dir-locals-2.el' f2441ab320 ; Fix some tiny doc and comment typos 22ff46e6d8 ; Fix some comment typos # Conflicts: # etc/NEWS
Diffstat (limited to 'doc/misc')
-rw-r--r--doc/misc/url.texi2
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
402If this option is non-@code{nil} (the default), the @code{url} library 402If this option is non-@code{nil} (the default), the @code{url} library
403honors the HTTP @samp{Refresh} header, which is used by servers to 403honors the HTTP @samp{Refresh} header, which is used by servers to
404direct clients to reload documents from the same URL or a or different 404direct clients to reload documents from the same URL or a different
405one. If the value is @code{nil}, the @samp{Refresh} header is 405one. If the value is @code{nil}, the @samp{Refresh} header is
406ignored; any other value means to ask the user on each request. 406ignored; any other value means to ask the user on each request.
407@end defopt 407@end defopt