oops
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Jul 2010 10:49:05 +0000 (10:49 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Jul 2010 10:49:05 +0000 (10:49 +0000)
myplc-docs.spec

index c0af6d7..6853697 100644 (file)
@@ -49,7 +49,7 @@ rm -f doc/PLCAPI.html
 make -C doc PLCAPI.html 
 popd
 
-[ -d nodemanager ] || ln -s NodeManager nodemnager
+[ -d nodemanager ] || ln -s NodeManager nodemanager
 pushd nodemanager
 # beware that making the pdf file somehow overwrites the html
 make -C doc NMAPI.pdf