From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 3 May 2022 16:59:17 +0000 (+0200)
Subject: fix bug in specfile when checking for nodemanager; thanks Thomas
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=9b34d6c4c00f52b8e85a9c159c6591317b425654;p=myplc.git

fix bug in specfile when checking for nodemanager; thanks Thomas
---

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