From efe1f8ab65631d3aa773c75eb129eb7adf344eb2 Mon Sep 17 00:00:00 2001 From: Pieter Lexis 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.49.0