From a5b7c0a164968ff93e952cac18718513f936b61c Mon Sep 17 00:00:00 2001
From: Renzo Davoli <renzo@cs.unibo.it>
Date: Tue, 15 Oct 2024 14:47:11 +0200
Subject: [PATCH] man/Makefile bugfix: err if !PANDOCOK

---
 man/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/man/Makefile b/man/Makefile
index 0d6bcd3..ed5a08a 100644
--- a/man/Makefile
+++ b/man/Makefile
@@ -6,9 +6,10 @@ PANDOCMINVER=3.1.7
 ifdef PANDOCOK
 PANDOCVER := $(shell ${PANDOC} -v | head -1 | cut -d ' ' -f 2)
 PANDOCVEROK := $(shell printf '%s\n' ${PANDOCMINVER} ${PANDOCVER} | sort -C -V; echo $$?)
-none:
 endif
 
+none:
+
 % : %.md
 ifdef PANDOCOK
 ifeq (${PANDOCVEROK}, 1)