https://bugzilla.redhat.com/show_bug.cgi?id=1594765
--- Comment #6 from Jens Petersen <petersen(a)redhat.com> ---
Okay I think I have fixed the html file permissions.
Also I improved the packaging with noarch manual and libs subpackages.
Spec:
http://petersen.fedorapeople.org/reviews/idris/idris.spec
SRPM:
http://petersen.fedorapeople.org/reviews/idris/idris-1.3.0-3.fc28.src.rpm
There are still some warnings like:
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/base/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/contrib/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/effects/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/prelude/IdrisDoc
idris-libs.noarch: E: zero-length /usr/share/idris-1.3.0/docs/pruviloj/IdrisDoc
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/arduino/idris_main.c
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/getline.h
idris-libs.noarch: W: devel-file-in-non-devel-package
/usr/share/idris-1.3.0/rts/idris_bitstring.c
Though I don't feel they are so serious.
https://koji.fedoraproject.org/koji/taskinfo?taskID=27939942
--
You are receiving this mail because:
You are on the CC list for the bug.