This is not done by default, you need to manually type "make dev_docs" in the configured build directory, as it takes ~6-8 min to build everything. Signed-off-by: Robin Getz <[email protected]>