I believe that the Javadoc doesn't install by default - Jeff?

On Jan 1, 2014, at 1:48 AM, Siegmar Gross <Siegmar.Gross@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