git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
bac0191
)
fix bug in specfile when checking for nodemanager; thanks Thomas
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Tue, 3 May 2022 16:59:17 +0000
(18:59 +0200)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Tue, 3 May 2022 16:59:17 +0000
(18:59 +0200)
myplc-docs.spec
patch
|
blob
|
history
diff --git
a/myplc-docs.spec
b/myplc-docs.spec
index
28420e6
..
009472c
100644
(file)
--- 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