Re: very miniscule nitpick

[Carl Sorensen]

On 6/11/11 1:56 AM, "Mark Polesky" <address@hidden> wrote:

> Carl, I have a tiny tiny tiny nitpick:
> 
> In your latest commit (0475fb3) I think you should wrap
> "--enable-double" in an @option block:
> 
> @option{--enable-double}
> 
> Without it, the two hyphens become an en-dash, and command-line
> options should be appropriately formatted anyway (i.e. in a
> monospace font).

Thanks, Mark.  You are absolutely correct.  In the future, when something
like this happens (as I am sure it will), please feel free to fix it.  Or,
if you want to have me fix it, go ahead and post to -devel so others can
learn from my mistakes

Fix pushed.

Thanks,

Carl