make/ToolsJdk.gmk
branchJDK-8224257-branch
changeset 57365 40c87d67e9f2
parent 52940 26e2cfebcfba
child 57379 97795fc7e6c5
--- a/make/ToolsJdk.gmk	Mon May 20 17:52:51 2019 -0700
+++ b/make/ToolsJdk.gmk	Wed May 22 12:13:57 2019 -0700
@@ -114,6 +114,9 @@
 TOOL_PUBLICSUFFIXLIST = $(JAVA_SMALL) -cp $(BUILDTOOLS_OUTPUTDIR)/jdk_tools_classes \
     build.tools.publicsuffixlist.GeneratePublicSuffixList
 
+TOOL_FIXUPPANDOC = $(JAVA_SMALL) -cp $(BUILDTOOLS_OUTPUTDIR)/jdk_tools_classes \
+    build.tools.fixuppandoc.Main
+
 ##########################################################################################
 
 # Executable javascript filter for man page generation using pandoc.