make/launcher/LauncherCommon.gmk
changeset 53087 f48737b2f428
parent 52940 26e2cfebcfba
child 53683 48ff68e2fe5c
equal deleted inserted replaced
53086:026842c1809f 53087:f48737b2f428
   201   MAN_FILES_MD := $(wildcard $(addsuffix /*.md, $(call FindModuleManDirs, $(MODULE))))
   201   MAN_FILES_MD := $(wildcard $(addsuffix /*.md, $(call FindModuleManDirs, $(MODULE))))
   202   MAN_FILES_TROFF := $(wildcard $(addsuffix /*.1, $(call FindModuleManDirs, $(MODULE))))
   202   MAN_FILES_TROFF := $(wildcard $(addsuffix /*.1, $(call FindModuleManDirs, $(MODULE))))
   203 
   203 
   204   ifneq ($(MAN_FILES_MD), )
   204   ifneq ($(MAN_FILES_MD), )
   205     # If we got markdown files, ignore the troff files
   205     # If we got markdown files, ignore the troff files
   206     ifeq ($(PANDOC), )
   206     ifeq ($(ENABLE_PANDOC), false)
   207       $(info Warning: pandoc not found. Not generating man pages)
   207       $(info Warning: pandoc not found. Not generating man pages)
   208     else
   208     else
   209       # Create dynamic man pages from markdown using pandoc. We need
   209       # Create dynamic man pages from markdown using pandoc. We need
   210       # PANDOC_TROFF_MANPAGE_FILTER, a wrapper around
   210       # PANDOC_TROFF_MANPAGE_FILTER, a wrapper around
   211       # PANDOC_TROFF_MANPAGE_FILTER_JAVASCRIPT. This is created by buildtools-jdk.
   211       # PANDOC_TROFF_MANPAGE_FILTER_JAVASCRIPT. This is created by buildtools-jdk.