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

2017-03-20 Thread Russell Bryant
On Thu, Mar 16, 2017 at 4:58 PM, Ben Pfaff wrote: > On Thu, Mar 16, 2017 at 01:57:20PM -0700, Ben Pfaff wrote: >> 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

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

2017-03-16 Thread Ben Pfaff
On Thu, Mar 16, 2017 at 01:57:20PM -0700, Ben Pfaff wrote: > 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

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

2017-03-16 Thread Russell Bryant
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 --- .gitignore