- no parallel make for docs

- rel 5

diff --git a/NuSMV.spec b/NuSMV.spec
index 56c0ba0b93cf636575207234f76ffad8ee6aa723..a46b79a6cf559e2aef11632f196157a948b82122 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,7 +9,7 @@ Summary:        New Symbolic Model Verifier
 Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.5.4
-Release:       4
+Release:       5
 License:       LGPL
 Group:         Applications
 Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
@@ -137,7 +137,7 @@ cd nusmv
 
 %{__make}
 
-%{__make} docs
+%{__make} -j1 docs
 
 %install
 rm -rf $RPM_BUILD_ROOT