diff options
| author | Glenn Morris | 2016-05-26 15:46:06 -0400 |
|---|---|---|
| committer | Glenn Morris | 2016-05-26 15:46:06 -0400 |
| commit | 2a2c6ee8d18267c16e3953194c6066d9a22b88a5 (patch) | |
| tree | 03c8dcee8cf4559bda6e4cff8a4677109b21f847 | |
| parent | 8ff9c4109fd8ca239ce6af83d9dd3b124d2f0e3f (diff) | |
| download | emacs-2a2c6ee8d18267c16e3953194c6066d9a22b88a5.tar.gz emacs-2a2c6ee8d18267c16e3953194c6066d9a22b88a5.zip | |
* lisp/info.el (Info-default-directory-list): Don't check /share,info.
No-one puts info pages there. If /share does exist, it's likely to
contain remote file systems where access could be slow.
; Ref eg https://bugs.debian.org/786707
| -rw-r--r-- | lisp/info.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lisp/info.el b/lisp/info.el index 5a1cec11dd2..70d218fbca2 100644 --- a/lisp/info.el +++ b/lisp/info.el | |||
| @@ -189,7 +189,7 @@ A header-line does not scroll with the rest of the buffer." | |||
| 189 | configure-info-directory))) | 189 | configure-info-directory))) |
| 190 | (prefixes | 190 | (prefixes |
| 191 | ;; Directory trees in which to look for info subdirectories | 191 | ;; Directory trees in which to look for info subdirectories |
| 192 | (prune-directory-list '("/usr/local/" "/usr/" "/opt/" "/"))) | 192 | (prune-directory-list '("/usr/local/" "/usr/" "/opt/"))) |
| 193 | (suffixes | 193 | (suffixes |
| 194 | ;; Subdirectories in each directory tree that may contain info | 194 | ;; Subdirectories in each directory tree that may contain info |
| 195 | ;; directories. | 195 | ;; directories. |