From 05de140e37f78fc7b5ac54435b8bbbbe447845e6 Mon Sep 17 00:00:00 2001 From: Marcel Holtmann Date: Thu, 3 Oct 2019 10:21:28 +0200 Subject: [PATCH] build: Provide error when pre-built manual page is not present --- Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index 5691a733..1e489bb3 100644 --- a/Makefile.am +++ b/Makefile.am @@ -599,7 +599,8 @@ if RUN_RST2MAN RST2MAN_PROCESS = $(AM_V_GEN)$(RST2MAN) --strict --no-raw --no-generator \ --no-datestamp < $< > $@ else -RST2MAN_PROCESS = $(AM_V_GEN)touch $@ +RST2MAN_PROCESS = $(AM_V_GEN)test -f $@ || \ + { echo "Generated manual page $@ does not exist"; false; } endif %.service: %.service.in Makefile