Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
This commit is contained in:
David Abdurachmanov 2019-12-23 15:37:48 +02:00
parent 6b96820f13
commit 9f83ccaa45
Signed by: davidlt
GPG Key ID: 8B7F1DA0E2C9FDBB
1 changed files with 1 additions and 1 deletions

View File

@ -94,7 +94,7 @@ pushd build
# Remove --clean-css since that plugin isn't available
sed -i "s/'--clean-css',//" ../doc/build.py
%make_build all
%if {with docs}
%if %{with docs}
%make_build doc
# Remove temporary build products