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
