J'installe le JDK Java manuellement, en téléchargeant l'archive tar du JDK à partir de java.com, en l'extrayant dans le dossier /usr/lib/jvm/jdk1.6.0_32 (également l'emplacement d'installation d'OpenJDK via apt), et en utilisant _Mise à jour des alternatives_ pour ajouter tous les binaires Java à /usr/bin .
J'aimerais également installer les pages de manuel Java sur l'ensemble du système dans /usr/lib/jvm/jdk1.6.0_32/man/man1 de préférence en utilisant ce même script, mais je ne suis pas sûr de savoir comment.
J'ai essayé la liaison souple /usr/lib/jvm/jdk1.6.0_32/man/man1 como /usr/share/man/man.java mais sans succès, man java ne fonctionne pas. Exécution man --update y mandb ne semblent rien faire.
Quelqu'un sait-il comment installer manuellement les paquets man ?
