changeset 52714 | 2e52aa822c57 |
parent 51723 | d3ada4479724 |
child 52940 | 26e2cfebcfba |
--- 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