[darcs-users] How to you handle content-related dependencies?
Miles Gould
miles at assyrian.org.uk
Mon Jun 6 17:10:00 UTC 2011
> Do we need the ADDED THEOREM lines? Couldn't we just, for any added \ref{x}
> in the current `darcs whatsnew`, depend on `darcs changes --matches='hunk
> "+.*\label{x}"'` (modulo regex escaping)?
Er, yes. From my reading of "darcs help changes" I couldn't see how to
match against a hunk, or in fact anything about the match system. Is
this described anywhere in the "darcs help" system? I've since found
http://darcs.net/manual/Darcs_commands.html#SECTION00611000000000000000,
so I know that it *is* documented :-)
> Things get more complicated if labels can be removed and added later again,
> then we may want to depend on the - uhm - earliest match?
Most recent, I'd have thought.
Miles
More information about the darcs-users
mailing list