> Can you apply this patch (attached) and see if "make docs" starts working? (Alternately, running "cmake" in the root of the source tree will make this work, too, but it leaves a pile of temporary files all over the place.) --ryan.