diff options
| -rw-r--r-- | man/info.texi | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/man/info.texi b/man/info.texi index 014e9165087..e6c508b4b49 100644 --- a/man/info.texi +++ b/man/info.texi | |||
| @@ -820,11 +820,11 @@ happens. | |||
| 820 | 820 | ||
| 821 | If you always like to have that information available without having | 821 | If you always like to have that information available without having |
| 822 | to move your mouse over the cross reference, set | 822 | to move your mouse over the cross reference, set |
| 823 | @code{Info-hide-note-references} to a value other than t (@pxref{Emacs | 823 | @code{Info-hide-note-references} to a value other than @code{t} |
| 824 | Info Variables}). You might also want to do that if you have a lot of | 824 | (@pxref{Emacs Info Variables}). You might also want to do that if you |
| 825 | cross references to files on remote machines and have non-permanent or | 825 | have a lot of cross references to files on remote machines and have |
| 826 | slow access, since otherwise you might not be able to distinguish | 826 | non-permanent or slow access, since otherwise you might not be able to |
| 827 | between local and remote links. | 827 | distinguish between local and remote links. |
| 828 | 828 | ||
| 829 | @format | 829 | @format |
| 830 | >> Now type @kbd{n} to learn more commands. | 830 | >> Now type @kbd{n} to learn more commands. |