Re: File missing from the git: texinfo/texinfo.tex

Tom Tromey
2013-10-23T16:51:35Z

>>>>> "Hans-Peter" == Hans-Peter Nilsson <hans-peter.nilsson@axis.com> writes:

Hans-Peter> Just a heads-up.
Hans-Peter> Looks like at least one file didn't make it in the git
Hans-Peter> conversion; worse, one needed by the src-release targets (which
Hans-Peter> is used to build releases and snapshots): texinfo/texinfo.tex.

Hans-Peter> This will cause problems with people's autotesters and snapshot
Hans-Peter> creation. (Tom Tromey is alerted and on it; the git may have to
Hans-Peter> be re-created or something like that.)

I had put texinfo into the list of directories to remove before
conversion. This caused the problem.

I think there are two choices to fix it.

One, fix my script and redo the conversion. This is easy, though (1) it
takes quite a lot of time, (2) any git commits since the first
conversion will have to be re-applied (there aren't many -- I can handle
it), and (3) any work anybody else has done on a clone of the repository
will have to be redone.

The argument for this choice is mainly that it is more true to the
history. E.g., with the current git repository you can't faithfully
re-create old releases.

Two, pretend the problem away and check in the file now.

I don't really have a preference. However it would be good to decide
soon. So, please send email today.

thanks,
Tom