make/Main.gmk
changeset 44078 673240c54c2e
parent 44027 3a3050924db2
child 44397 f932d6b9f7fe
--- a/make/Main.gmk	Mon Mar 13 09:51:48 2017 +0100
+++ b/make/Main.gmk	Mon Mar 13 14:01:24 2017 +0100
@@ -372,7 +372,10 @@
 docs-zip:
 	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f Javadoc.gmk docs-zip)
 
-ALL_TARGETS += docs-javadoc docs-copy docs-zip
+update-build-docs:
+	+($(CD) $(SRC_ROOT)/make && $(MAKE) $(MAKE_ARGS) -f UpdateBuildDocs.gmk)
+
+ALL_TARGETS += docs-javadoc docs-copy docs-zip update-build-docs
 
 ################################################################################
 # Cross compilation support