remove docs/manual from datadir
This commit is contained in:
parent
4674e3e8f4
commit
5636808e60
|
@ -101,6 +101,7 @@ done
|
||||||
# remove bundled jquery*.js, report.html, *.js
|
# remove bundled jquery*.js, report.html, *.js
|
||||||
# (this breaks report generation)
|
# (this breaks report generation)
|
||||||
rm %{buildroot}%{_datadir}/%{name}-%{version}/html/*
|
rm %{buildroot}%{_datadir}/%{name}-%{version}/html/*
|
||||||
|
rm %{buildroot}%{_datadir}/%{name}-%{version}/docs/manual/*
|
||||||
|
|
||||||
|
|
||||||
%check
|
%check
|
||||||
|
@ -127,7 +128,8 @@ rm %{buildroot}%{_datadir}/%{name}-%{version}/html/*
|
||||||
|
|
||||||
|
|
||||||
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
%files -n ghc-%{name}-devel -f ghc-%{name}-devel.files
|
||||||
%doc README.md docs
|
%doc README.md
|
||||||
|
%doc docs
|
||||||
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
|
Loading…
Reference in New Issue