diff options
author | Russell Bryant <russell@ovn.org> | 2017-03-16 13:00:30 -0400 |
---|---|---|
committer | Russell Bryant <russell@ovn.org> | 2017-03-20 11:08:33 -0400 |
commit | e9f521b333f355baef9cebb891d69d28251ab564 (patch) | |
tree | f0719df1d7797b9cd1df28501b3d08a50da44586 /.gitignore | |
parent | 6134ea0619cd3f319cfb400b494e03c86189a9ce (diff) | |
download | openvswitch-e9f521b333f355baef9cebb891d69d28251ab564.tar.gz |
build: Only re-gen HTML docs when needed.
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@ovn.org>
Acked-by: Ben Pfaff <blp@ovn.org>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 4f5044005..df75b40b4 100644 --- a/.gitignore +++ b/.gitignore @@ -51,6 +51,7 @@ /distfiles /dist-docs /flake8-check +/htmldocs-check /install-sh /libtool /manpage-check |