[darcs-devel] darcs patch

David Roundy droundy at abridgegame.org
Sat Oct 16 07:41:54 PDT 2004


On Fri, Oct 15, 2004 at 10:49:01PM -0400, Mark Stosberg wrote:
> 
> Fri Oct 15 21:48:29 EST 2004  Mark Stosberg <mark at summersault.com>
>   * partial docs spruce up to highlight long flag descriptions
>   I can't decide whether this update (if applied to the rest of the docs)
>   would really add much. Give it a whirl and let me know. If it seems
>   good, I can work on update the rest of the docs.

I think I like the change, but don't care for how it is formatted in the
print version.  So I've added a new \begin{option}...\end{option} section
that the preproc program can modify to look right in either print or html.
I only modified the "Get.lhs" change while I was testing this, but if you
could change the rest, that would be great.  Note that this way we can also
easily remove the annotations, if we so desire, or change how they are
formatted.
-- 
David Roundy
http://www.abridgegame.org




More information about the darcs-devel mailing list