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@xxxxxxxxxxxx 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. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review