Self-explanatory. Followup to Dave's "make clean" patch.
1 patch for repository darcs-unstable@darcs.net:darcs:
Wed Jan 20 21:15:03 CET 2010 Petr Rockai <me@mornfall.net>
* Augment the .boring file to cover the generated manual bits.
On Wed, Jan 20, 2010 at 1:16 PM, Petr Ročkai <bugs@darcs.net> wrote:
>
> New submission from Petr Ročkai <me@mornfall.net>:
>
> Self-explanatory. Followup to Dave's "make clean" patch.
>
> 1 patch for repository darcs-unstable@darcs.net:darcs:
>
> Wed Jan 20 21:15:03 CET 2010 Petr Rockai <me@mornfall.net>
> * Augment the .boring file to cover the generated manual bits.
>
Applied, thanks!