Re: [dpdk-dev] [PATCH 1/1] doc: fix build

[Bruce Richardson]

On Tue, Jan 26, 2021 at 04:07:22PM +0100, Thomas Monjalon wrote:
> When removing the label "arm_cross_build_getting_the_prerequisite_library"
> in the rework of cross_build_dpdk_for_arm64.rst,
> the reference to this section got broken.
> It went unnoticed because "ninja -C doc" does not regenerate the file
> which is referencing the changed file.
> 
Do we know why this is? The doc builds should be doing proper dependency
tracking, based off the output from sphinx IIRC.