[fix] makefile 2nd try

stef · stef · commit 91aef5c4b52c · 2023-10-12T23:30:00.000+02:00
diff --git a/src/makefile b/src/makefile
@@ -29,9 +29,7 @@ else
 	OPRFINCDIR=/usr/include/oprf
 endif
 
-ifeq (, $(shell which pandoc))
-	echo "No pandoc in PATH, not building man pages"
-else
+ifneq (, $(shell which pandoc))
 	MANPAGES=man
 	MANPAGES-clean=man-clean
 	MANPAGES-install=man-install
