Hi, On Sat, Nov 24, 2018 at 09:44:23PM +0100, Manuel Bouyer wrote: > On Sat, Nov 24, 2018 at 08:30:08PM +0100, K. Schreiner wrote: > > Hi, > > > > with source cvs-updated some minutes ago: > > > > postinstall fixes failed: > > =============================== > > checkflist ===> distrib/sets > > ======= 1 extra files in DESTDIR ========= > > Files in DESTDIR but missing from flist. > > File is obsolete or flist is out of date ? > > ------------------------------------------ > > ./usr/share/man/man4/mfii.4 > > ========= end of 1 extra files =========== > > AFAIK mfii.4 is in distrib/sets/lists/man/mi it is - now after updating my src tree again a minute ago.
> Maybe you updated your tree just at the wrong time ? yep, all your changes except the one in distrib/sets/lists/man/mi had been imported - should have waited a little longer. ;-) Thanks & sorry for the noise Kurt
