Fix display of '--' options in documentation#6318

jhendersonHDF wants to merge 1 commit intoHDFGroup:developHDFGroup/hdf5:developfrom

jhendersonHDF:fix_docs_command_line_optsjhendersonHDF/hdf5:fix_docs_command_line_optsCopy head branch name to clipboard