Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report. Summary: Review Request:zenon - Automated theorem prover for first-order classical logic https://bugzilla.redhat.com/show_bug.cgi?id=453503 ------- Additional Comments From pertusus@xxxxxxx 2008-07-16 04:13 EST ------- (In reply to comment #3) > Since the Fedora guidelines don't say anything about where tests > or examples go, I went and looked the Debian guidelines, figuring > that if Debian preferred something and Fedora didn't care, it would be > convenient to users if Debian/Ubuntu and Fedora did the same thing. There is no specific recommendation, except that, since it is some documentation is should be in %doc. > These files should not be referenced > by any program: they're there for the benefit of the system administrator and > users as documentation only." That's in the guideline. > in /usr/share/doc/PACKAGENAME-VERSION/examples/ > > Sound reasonable? In general, the examples are indeed put in %doc examples/ or, if there are not so much files in %doc directly in %doc. I don't think a formal guideline is needed, there are already a lot of guidelines. You could add it to http://fedoraproject.org/wiki/PackageMaintainers/PackagingTricks however. -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug, or are watching someone who is. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review