Control: tags -1 fixed-upstream On 2020-11-04 15:17:34 +0100, Vincent Lefevre wrote: > $ repotool initialize mpfr > repotool: what VCS do you want to convert from? svn > repotool: what VCS do you want to convert to? git > repotool: generating Makefile, some variables in it need to be set. > repotool: generating a stub options file. > repotool: generating a stub options file. > > Note the duplicated line at the end. There's actually a stub lift file > (mpfr.lift) and a stub options file (mpfr.opts).
I suppose that this is an upstream bug. I cannot reproduce it with reposurgeon from git master (where an additional file is now generated, BTW). -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
