From efe1f8ab65631d3aa773c75eb129eb7adf344eb2 Mon Sep 17 00:00:00 2001
From: Pieter Lexis <pieter.lexis@powerdns.com>
Date: Wed, 21 Dec 2016 12:54:12 +0100
Subject: [PATCH] Graceful fallback if pandoc is unavailable

Closes #4801
---
 docs/Makefile.am | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 24d4e150e..5d71594c5 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -53,8 +53,7 @@ clean:
 else
 if !HAVE_MANPAGES
 $(MANPAGES_TARGET_ALL):
-	echo "You need pandoc to generate the manpages"
-	exit 1
+	@echo "Pandoc is required to build $@"
 endif
 endif
 
-- 
2.40.0