This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository java-policy.

commit 4ecc5518caa4b08266b31b3638d54ac0ac9bb205
Author: Sylvestre Ledru <[email protected]>
Date:   Wed Jun 5 13:22:23 2013 +0000

    Also recommend default-jre & default-jre-headless for Java libraries
---
 policy.xml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/policy.xml b/policy.xml
index d2db15b..d20cc11 100644
--- a/policy.xml
+++ b/policy.xml
@@ -236,12 +236,17 @@
     
     <sect1 id="policy-libraries">
       <title>Java libraries</title>
-      
+
       <para>
        Libraries are not separated between developers (-dev) and users
        versions, since this is meaningless in Java.
       </para>
-      
+
+      <para>
+        Libraries &must; depend on the needed runtime environment (&d-jre; 
and/or &d-jre-h; if need a GUI or not).
+      </para>
+
+
       <para>
        Java libraries packages &must; be named libXXX[version]-java
        (without the brackets), where the version part is optional and &should;

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-java/java-policy.git

_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits

Reply via email to