commit feb5f109ece528d55135823b5a198d24d2e7631b
parent d9bc748c4b81d2da20c4be1854427ca7b5ab8a03
Author: Vincent Forest <vincent.forest@meso-star.com>
Date: Tue, 25 Jul 2023 17:52:21 +0200
Check that the scdoc command exists before generating man
If scdoc was not present, the man page was still generated, but it was
empty. As a result, make only returned an error the first time it tried
to generate the man page, when it should have failed every time. This
commit fixes this problem.
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/Makefile b/Makefile
@@ -59,6 +59,7 @@ $(LIBNAME_STATIC): $(OBJ)
$(CC) $(CFLAGS) $(RSYS_CFLAGS) -DSMSH_SHARED_BUILD -c $< -o $@
smsh.5: doc/smsh.5.scd
+ command -v scdoc > /dev/null || exit 1
scdoc < doc/$@.scd > $@
################################################################################
