Hi Carl, Thank you for reporting the problem!
HDF5 doesn’t have any man pages. Configure's —help option displays several defaults that are not supported and —mandir is one of them. I added an issue to our JIRA DB; for your reference, the issue number is HDFFV-9278. Elena ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Elena Pourmal The HDF Group http://hdfgroup.org 1800 So. Oak St., Suite 203, Champaign IL 61820 217.531.6112 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ On Mar 23, 2015, at 7:13 PM, Carl Ponder <[email protected]<mailto:[email protected]>> wrote: Running configure --help I see the parameter --mandir=DIR which, if I understand the instructions, ought to be set by default. But I'm not getting any man-pages under --prefix=$DIR, and explicitly setting --mandir=$DIR/share/man didn't help either. Is there some trick to this, like does the destination directory have to have already been created? I don't see any man-pages in the 1.8.14 directory when I scan it. Thanks, Carl ________________________________ This email message is for the sole use of the intended recipient(s) and may contain confidential information. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by reply email and destroy all copies of the original message. ________________________________ _______________________________________________ Hdf-forum is for HDF software users discussion. [email protected]<mailto:[email protected]> http://lists.hdfgroup.org/mailman/listinfo/hdf-forum_lists.hdfgroup.org Twitter: https://twitter.com/hdf5
_______________________________________________ Hdf-forum is for HDF software users discussion. [email protected] http://lists.hdfgroup.org/mailman/listinfo/hdf-forum_lists.hdfgroup.org Twitter: https://twitter.com/hdf5
