X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=myplc-docs.spec;fp=myplc-docs.spec;h=009472c43c2a06fb076fbf63460a003a1062fbd0;hb=9b34d6c4c00f52b8e85a9c159c6591317b425654;hp=28420e6bc4e4127115b89aa03add203c7844e833;hpb=bac01912c227b52fe1c5585f9df8e192e7ca4f0f;p=myplc.git 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