https://bugzilla.redhat.com/show_bug.cgi?id=1594765



--- Comment #6 from Jens Petersen <[email protected]> ---
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.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/[email protected]/message/CYAL5URUYAEK4CQ3ONAN2AMCTHGGL3SC/

Reply via email to