[elephant-devel] Another tiny documentation fix

[Leslie P. Polzer]

> It appears from the post that you are computing it against an "old" and
> new" repository, presumably local copies that you have made.  This
> prevents me from being able to apply the patches directly.

I was using

  darcs diff

which automatically generated this.


> So what I do is just:

Thanks! I'll do it this way in the future.

  Leslie

-- 
My personal blog: http://blog.viridian-project.de/