make/ToolsJdk.gmk
branchihse-manpages-branch
changeset 57051 d8697832a650
parent 52714 2e52aa822c57
child 55013 8dae495a59e7
child 57365 40c87d67e9f2
equal deleted inserted replaced
57050:746a7ee75caa 57051:d8697832a650
   116 
   116 
   117 ##########################################################################################
   117 ##########################################################################################
   118 
   118 
   119 # Executable javascript filter for man page generation using pandoc.
   119 # Executable javascript filter for man page generation using pandoc.
   120 
   120 
   121 PANDOC_FILTER := $(BUILDTOOLS_OUTPUTDIR)/manpages/pandoc-manpage-filter
   121 PANDOC_TROFF_MANPAGE_FILTER := $(BUILDTOOLS_OUTPUTDIR)/manpages/pandoc-troff-manpage-filter
       
   122 PANDOC_HTML_MANPAGE_FILTER := $(BUILDTOOLS_OUTPUTDIR)/manpages/pandoc-html-manpage-filter
   122 
   123 
   123 ##########################################################################################
   124 ##########################################################################################
   124 
   125 
   125 endif # _TOOLS_GMK
   126 endif # _TOOLS_GMK