--- 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