|
| From: | 積丹尼 Dan Jacobson |
| Subject: | bug#38308: INFO files changed on disk: mention rereading workaround |
| Date: | Thu, 21 Nov 2019 08:11:26 +0800 |
(info "(info) Advanced") should add FAQ: Q: What if the info files or top directory change on disk? Unlike normal browsers INFO has no refresh command. A: Kill the *info* buffer and start INFO again.
| [Prev in Thread] | Current Thread | [Next in Thread] |