[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