Re: build.sh ... distribution failed for amd64

["K. Schreiner" <ks%ub.uni-mainz.de@localhost>]

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