Jeff added a jdoc target in '~/ompi-java/ompi/mpi/java/java/Makefile.am'.
Javadoc is created in '~/ompi-java/ompi/mpi/java/java/doc'
I think javadoc could be created if you select '--enable-mpi-java',
and it could be copied in '~/ompi-install/share/javadoc'.
From: Ralph Castain <r...@open-mpi.org>
Subject: Re: [OMPI users] some problems with openmpi-1.9a1r30100
Date: January 1, 2014 at 7:57:27 AM PST
To: Siegmar Gross <siegmar.gr...@informatik.hs-fulda.de>, Open MPI
Users <us...@open-mpi.org>
I believe that the Javadoc doesn't install by default - Jeff?
On Jan 1, 2014, at 1:48 AM, Siegmar Gross
<siegmar.gr...@informatik.hs-fulda.de> wrote:
"make install" didn't install the Javadoc documentation for the
new Java interface. Is it necessary to install it in a separate
step?
tyr small_prog 118 ls -l /usr/local/openmpi-1.9_64_cc/share/
total 6
drwxr-xr-x 5 root root 512 Dec 31 12:03 man
drwxr-xr-x 3 root root 3584 Dec 31 12:05 openmpi
drwxr-xr-x 3 root root 512 Dec 31 12:04 vampirtrace
tyr small_prog 119
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
