[Bug 453503] Review Request:zenon - Automated theorem prover for first-order classical logic

[bugzilla at redhat.com]

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 at free.fr  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.