> From: Gavin Smith <[email protected]> > Date: Thu, 5 Nov 2020 20:36:28 +0000 > > I suggest that install-info should create the file if it did > not exist already, or at the least give a warning about the file > not existing.
Sounds reasonable, thanks.
