[PG-devel] ChangeLog branch chaos

2011-04-27 Thread Hendrik Tews
Hi, after creating the ProofTreeBranch the generated ChangeLog (make ChangeLog) contains the commit messages from the trunk and the branch, which is a bit confusing. The problem is that rcs2log relies on cvs log, which outputs all available information by default. There is no real fix, because cvs

Re: [PG-devel] ChangeLog branch chaos

2011-04-27 Thread Stefan Monnier
> default. There is no real fix, because cvs log cannot generate > all information that belongs to a particular branch. Even Debian Actually, there is a real fix: convert the CVS repository to some other (saner?) format like Bazaar or Git, and then use those tools to get the change log for whiche

Re: [PG-devel] ChangeLog branch chaos

2011-04-27 Thread Makarius
On Wed, 27 Apr 2011, Stefan Monnier wrote: default. There is no real fix, because cvs log cannot generate all information that belongs to a particular branch. Even Debian Actually, there is a real fix: convert the CVS repository to some other (saner?) format like Bazaar or Git, and then use t