[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38308: INFO files changed on disk: mention rereading workaround
From: |
Robert Pluim |
Subject: |
bug#38308: INFO files changed on disk: mention rereading workaround |
Date: |
Thu, 21 Nov 2019 09:14:31 +0100 |
>>>>> On Thu, 21 Nov 2019 08:11:26 +0800, 積丹尼 Dan Jacobson
>>>>> <jidanni@jidanni.org> said:
積丹尼> (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.
You donʼt have to kill the *info* buffer, you can just revert it. I do
that all the time when Iʼm writing info documentation, but I canʼt see
that being a common occurence in normal use.
Robert