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 log cannot generate
all information that belongs to a particular branch. Even Debian
gave up on the problem, see
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=216246

There are the following partial fixes. 

If you want a ChangeLog containing only the messages for the main
trunk then you can include the options ``-r -b'' in the rcs2log
call in Makefile.devel. 

For the ProofTreeBranch including the options 
``-r -rProofTreeBranch'' generates a ChangeLog with _just_ the
commits to ProofTreeBranch. If you also want to see the messages
from the main trunk before the branch point of ProofTreeBranch,
you have to append them manually. To do this, generate the
ChangeLog for the main trunk and copy everything starting with
the entry ``2011-04-15  Hendrik Tews''.

Alternatively you can use the rcs2log option ``-v''. This
generates a ChangeLog containing commit messages from all
branches, but includes cvs revision numbers.

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to