doc/gendoc.py | 13 13 + 0 - 0 !
1 file changed, 13 insertions(+)

 doc-build-local

   Allow to build documentation from local source. Normally it's only
   possible to build documentation is the toolkit is installed system-wide.
   This patch allows the documentation to be built from local source.
   Also, abort if importing the toolkit didn't succeed.