--- a/make/Main.gmk Mon Nov 26 14:18:22 2018 +0100
+++ b/make/Main.gmk Mon Nov 26 14:18:32 2018 +0100
@@ -405,9 +405,6 @@
docs-jdk-index:
+($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f Docs.gmk docs-jdk-index)
-docs-man-pages:
- +($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f Docs.gmk man-pages)
-
docs-zip:
+($(CD) $(TOPDIR)/make && $(MAKE) $(MAKE_ARGS) -f Docs.gmk docs-zip)
@@ -420,7 +417,7 @@
ALL_TARGETS += docs-jdk-api-javadoc docs-jdk-api-modulegraph \
docs-javase-api-javadoc docs-javase-api-modulegraph \
docs-reference-api-javadoc docs-reference-api-modulegraph docs-jdk-specs \
- docs-jdk-index docs-man-pages docs-zip update-build-docs update-x11wrappers
+ docs-jdk-index docs-zip update-build-docs update-x11wrappers
################################################################################
# Cross compilation support