From 9b34d6c4c00f52b8e85a9c159c6591317b425654 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 3 May 2022 18:59:17 +0200
Subject: [PATCH] fix bug in specfile when checking for nodemanager; thanks
 Thomas

---
 myplc-docs.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/myplc-docs.spec b/myplc-docs.spec
index 28420e6..009472c 100644
--- a/myplc-docs.spec
+++ b/myplc-docs.spec
@@ -50,7 +50,7 @@ make -C doc PLCAPI.html || make -C doc PLCAPI.html
 popd
 
 # nodemanager is now optional
-if [ -d nodemanager]; then
+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
-- 
2.47.0