Generate documentation during build
Use make -C instead of pushd/popd