make docbook build script skip build if output exists and target date is later
than dependent source dates (normal "make" behavior)
-----------------------------------------------------------------------------------------------------------------------------------
Key: UIMA-238
URL: https://issues.apache.org/jira/browse/UIMA-238
Project: UIMA
Issue Type: Improvement
Components: Build, Packaging and Test
Reporter: Marshall Schor
Priority: Trivial
To speed up builds - no need to rerun docbook builds if the output won't change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
