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.