On Thu, Nov 29, 2012 at 6:12 AM, Bernhard Posselt <nukeawhale at gmail.com> wrote: > Maybe this should also be worked into the documentation > > so we have documentation about the how to produce the documentation in > the documentation :) > Yes, totally agree with :)