fix bug in specfile when checking for nodemanager; thanks Thomas
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 May 2022 16:59:17 +0000 (18:59 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 May 2022 16:59:17 +0000 (18:59 +0200)
myplc-docs.spec

index 28420e6..009472c 100644 (file)
@@ -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