On Wed, May 23, 2012 at 11:22 PM, Stefan Karpinski <
ste...@karpinski.org> wrote:
> I am also concerned about how to keep the online manual in sync. Can we
> easily publish the generated html to the website (which is rendered using
> jekyll). One of the things I like about the current version is that we only
> check in the source and github beautifully takes care to the generation
> parts. (Now that I fixed the DNS setup, it's been rock solid and completely
> reliable.) Mike, what are your thoughts on that?
>