Re: Patch to readd documentation

Oliver Jowett wrote:
> Can we do a build target that just validates the doc source and
> doesn't actually generate documentation from it? If I understand
> things correctly, that'd make quick documentation changes easier in
> that you don't need additional tools installed, but you can still
> check you didn't irretrievably break things before checking in..

To my first approximation, validating the documentation is not any
easier than processing it when considering the tools that need to be
installed and configured.