You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
408 B
16 lines
408 B
8 months ago
|
diff --git a/Makefile.am b/Makefile.am
|
||
|
index 627983ca..d32f109c 100644
|
||
|
--- a/Makefile.am
|
||
|
+++ b/Makefile.am
|
||
|
@@ -659,10 +659,3 @@ else
|
||
|
endif
|
||
|
|
||
|
check: prepare-check
|
||
|
-
|
||
|
-if !HAVE_PANDOC
|
||
|
-# If pandoc is not enabled, we want to complain that you need pandoc for make dist,
|
||
|
-# so hook the target and complain.
|
||
|
- @(>&2 echo "You do not have pandoc, a requirement for the distribution of manpages")
|
||
|
- @exit 1
|
||
|
-endif
|