--- a/make/ToolsJdk.gmk	Tue Nov 27 15:56:10 2018 +0100
+++ b/make/ToolsJdk.gmk	Wed Nov 28 10:00:41 2018 +0100
@@ -116,4 +116,10 @@
 
 ##########################################################################################
 
+# Executable javascript filter for man page generation using pandoc.
+
+PANDOC_FILTER := $(BUILDTOOLS_OUTPUTDIR)/manpages/pandoc-manpage-filter
+
+##########################################################################################
+
 endif # _TOOLS_GMK