openjdk team mailing list archive

Thread
Date

Bug#955619: openjdk-11-jre-headless: failure to install due to non-existant /usr/share/man/man1/ directory

To: 955619@xxxxxxxxxxxxxxx
From: "Daniel P. Berrange" <dan@xxxxxxxxxxxx>
Date: Tue, 15 Dec 2020 14:17:56 +0000
Reply-to: "Daniel P. Berrange" <dan@xxxxxxxxxxxx>, 955619@xxxxxxxxxxxxxxx
Resent-cc: OpenJDK Team <openjdk@xxxxxxxxxxxxxxxxxxx>
Resent-date: Tue, 15 Dec 2020 14:30:01 +0000
Resent-from: "Daniel P. Berrange" <dan@xxxxxxxxxxxx>
Resent-message-id: <handler.955619.B955619.160804242231633@xxxxxxxxxxxxxxx>
Resent-to: debian-bugs-dist@xxxxxxxxxxxxxxxx
User-agent: Mutt/1.5.21 (2010-09-15)

The postin script contains a check about whether the man page
source file exists, but doesn't check the destination directory.

So one way to fix this problem is to change the postin script
from 

        if [ -e $mandir/man1/$i.$srcext ]; then

to

        if [ -e $mandir/man1/$i.$srcext && -e /usr/share/man/man1 ]; then