MySQL Bugs: #71316: Manual page for --super-large-pages option mentioned "solaris" in a wrong place

Bug #71316	Manual page for --super-large-pages option mentioned "solaris" in a wrong place
Submitted:	8 Jan 2014 19:49	Modified:	23 Jan 2014 18:52
Reporter:	Valeriy Kravchuk	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Server: Documentation	Severity:	S3 (Non-critical)
Version:	5.5, 5.6	OS:	Any
Assigned to:	Paul DuBois	CPU Architecture:	Any

Description:
Check this page: http://dev.mysql.com/doc/refman/5.6/en/server-options.html#option_mysqld_super-large-pages 

For some reason it says "solaris", without initial capital (and "windows" before that for other option, maybe there is some good reason), and then:

"Type (solaris)	boolean"

What poor OS has to do with the option data type?

How to repeat:
Check for "solaris" at:

http://dev.mysql.com/doc/refman/5.6/en/server-options.html#option_mysqld_super-large-pages
http://dev.mysql.com/doc/refman/5.5/en/server-options.html#option_mysqld_super-large-pages

and other version-specific pages.

Suggested fix:
Fix that table. Consider using proper official names while referring to OSes/platforms.

Hello Valeriy,

Thank you for the bug report.
Verified as described.

Thanks,
Umesh

Is this bug report solely about capitalization, or does "Fix the table" also refer to something else?

re: "Type (solaris)	boolean"

What poor OS has to do with the option data type?
"

The option is platform-specific and the type on the indicated platform (Solaris) is boolean.

Thank you for your bug report. This issue has been addressed in the documentation. The updated documentation will appear on our website shortly, and will be included in the next release of the relevant products.

OS capping implemented.

The other aspect (naming the OS after the type) is deliberate.