On Wednesday, 23 October 2019 17:21:50 BST Neil Bothwick wrote: > On Wed, 23 Oct 2019 15:18:45 +0100, Peter Humphrey wrote: > > > Yes. It also updates symlinks to all three if you are already using > > > symlinks. > > > > Make install doesn't use symlinks here. This is a UEFI box with /boot > > formatted FAT32, so the three files are copied, not linked to. > > "if you are already using symlinks". It only updates the symlinks if > they already exist, it won't try to create them from scratch, even if the > filesystem supports it.
Ah. I missed that. These have been a long four days of wrestling, once again, with UEFI booting. A topic for another day. -- Regards, Peter.
