[ovs-dev] [PATCH] build: Only re-gen HTML docs when needed.

[Ben Pfaff]

On Thu, Mar 16, 2017 at 01:01:32PM -0400, Russell Bryant wrote:
> When sphinx-build is installed, the docs were being re-generated during
> every invocation of "make".  This patch sets up dependencies such that
> sphinx-build will only be executed if one of the documentation files has
> changed.
> 
> Signed-off-by: Russell Bryant <russell at ovn.org>

I'd actually prefer to use a file with a regular name rather than a
dotfile (".htmldocs").  First, it's easier to spot a regular file when
I'm trying to figure out why something isn't rebuilding.  Second, we
have precedent with manpage-check and flake8-check.

Acked-by: Ben Pfaff <blp at ovn.org>