On 7 June 2015 at 11:20, Benno Schulenberg <[email protected]> wrote: > In texinfo-5.9.93, do for example 'info/ginfo doc/info.info'. > Then in a different terminal do 'touch doc/info.texi; make' > and wait for it to complete. Now type '/what<Enter>' in the > first terminal and see it segfault, leaving the terminal in > a strange state.
Thanks for the report. I think I've fixed it. However, as far as I am aware there has never been much effort made to deal well with this kind of thing happening, files being replaced or deleted while they're being viewed. I daresay that the current behaviour could be improved.
