doc in bcond

diff --git a/gecode.spec b/gecode.spec
index ea193128dfefedbe49e3b32d2a27f83ae9187c7e..5eaef67e1bc71f72cee34dd6b4d69ae8f94049fb 100644 (file)
--- a/gecode.spec
+++ b/gecode.spec
@@ -92,12 +92,13 @@ done
        --with-boost-include=%{_includedir}/boost
 
 %{__make}
-%{__make} doc
 %{__make} ChangeLog
 
 iconv --from=ISO-8859-1 --to=UTF-8 -o ChangeLog.new ChangeLog
 mv ChangeLog.new ChangeLog
 
+%{?with_doc:%{__make} doc}
+
 %install
 rm -rf $RPM_BUILD_ROOT
 %{__make} install \