--- a/make/launcher/LauncherCommon.gmk	Thu Dec 20 11:43:04 2018 +0100
+++ b/make/launcher/LauncherCommon.gmk	Thu Dec 20 05:27:42 2018 -0800
@@ -203,7 +203,7 @@
 
   ifneq ($(MAN_FILES_MD), )
     # If we got markdown files, ignore the troff files
-    ifeq ($(PANDOC), )
+    ifeq ($(ENABLE_PANDOC), false)
       $(info Warning: pandoc not found. Not generating man pages)
     else
       # Create dynamic man pages from markdown using pandoc. We need