fix build of devel-doc to use proper doc dir