From bac01912c227b52fe1c5585f9df8e192e7ca4f0f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sun, 1 May 2022 18:00:20 +0200
Subject: [PATCH] build nodemanager doc only if present

---
 myplc-docs.spec | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/myplc-docs.spec b/myplc-docs.spec
index 1f9c5b7..28420e6 100644
--- a/myplc-docs.spec
+++ b/myplc-docs.spec
@@ -49,12 +49,15 @@ rm -f doc/PLCAPI.html
 make -C doc PLCAPI.html || make -C doc PLCAPI.html 
 popd
 
+# nodemanager is now optional
+if [ -d nodemanager]; then
 pushd nodemanager
 # beware that making the pdf file somehow overwrites the html
 make -C doc NMAPI.pdf || make -C doc NMAPI.pdf
 rm -f doc/NMAPI.html
 make -C doc NMAPI.html || make -C doc NMAPI.html 
 popd
+fi
 
 # not everyone rebuilds monitor, so make it optional
 if [ -d monitor ] ; then
-- 
2.43.0