[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 dwheeler at dwheeler.com  2008-07-15 23:29 EST -------
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.

I _thought_ that the Debian policy stated where to place test cases
if installed, but I didn't see anything when I went back to look.
But they DO have a recommended file placement scheme for examples. At:
  http://www.debian.org/doc/debian-policy/ch-docs.html#s12.6
Debian policies say:
"Any examples (configurations, source files, whatever), should be installed in a
directory /usr/share/doc/PACKAGE/examples. These files should not be referenced
by any program: they're there for the benefit of the system administrator and
users as documentation only."

So, instead of putting the example in /usr/share/doc/PACKAGENAME-VERSION/
(as done currently) _or_ in /usr/share/PACKAGENAME-VERSION/
(as Alan Dunn proposes), I propose placing the example
in /usr/share/doc/PACKAGENAME-VERSION/examples/
as required by the Debian guidelines (well, Debian doesn't add
"-VERSION" but that _is_ Fedora convention).  That way, if a Debian package
appears in the future, users will see a more consistent file location
scheme.  Granted, there aren't many examples now, but that at least
sets the stage for more examples later.  Given its lack of
documentation, SOMETHING as an example is better than nothing.

Sound reasonable?



-- 
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.