openjdk team mailing list archive

Thread
Date

openjdk team
Mailing list archive
Message #10818

Bug#775741: update-alternatives for openjdk-7-jre-headless failed if no man folder exist

To: 775741@xxxxxxxxxxxxxxx, 775741-submitter@xxxxxxxxxxxxxxx
From: Matthias Klose <doko@xxxxxxxxxx>
Date: Wed, 11 Mar 2015 13:53:11 +0100
Reply-to: Matthias Klose <doko@xxxxxxxxxx>, 775741@xxxxxxxxxxxxxxx
Resent-cc: OpenJDK Team <openjdk@xxxxxxxxxxxxxxxxxxx>
Resent-date: Wed, 11 Mar 2015 12:57:01 +0000
Resent-from: Matthias Klose <doko@xxxxxxxxxx>
Resent-message-id: <handler.775741.B775741.14260784192939@xxxxxxxxxxxxxxx>
Resent-to: debian-bugs-dist@xxxxxxxxxxxxxxxx
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0

Control: tags -1 + wontfix

this is a deficiency in update-alternatives. the openjdk man pages are installed
in JAVA_HOME, so they do not get filtered and u-a then thinks it can install,
but it can't becuse the target directory does not exist.