[darcs-users] [issue1413] remove duplicate documentation

[Trent W. Buck]

trentbuck at gmail.com (Trent W. Buck) writes:

> I've deleted the identical parts of Commute.  However I can see that
> there's also duplication between Core and Prim.  Which should I keep?

I answered this for myself.  

>>> I believe the manual build process is using Prim and ignoring
>>> Commute, or maybe just ignoring the duplicated section.

I don't think so.  As you can see, currently four of the seven literate
documents in Darcs.Patch are included in the user manual:

    $ grep -r '\\input.*Darcs/Patch' src
    src/Darcs/Arguments.lhs:\input{Darcs/Patch/Match.lhs}
    src/Darcs/Patch.lhs:\input{Darcs/Patch/Apply.lhs}
    src/Darcs/Patch.lhs:\input{Darcs/Patch/Core.lhs}
    src/Darcs/Patch.lhs:\input{Darcs/Patch/Commute.lhs}
    src/Darcs/Patch.lhs:\input{Darcs/Patch/Show.lhs}
    src/darcs.tex:\input{Darcs/Patch.lhs}

The ones that aren't are Match, Prim and Properties.  The last of those
is currently built as a separate document, patch_theory.pdf, which
everyone hates.

So for now I will attempt to rearrange literate documentation within
Darcs.Patch such that it ends up in an appendix of the user manual.
I will start by removing duplicated text from Prim rather than from
Commute and Core.