Bug #14650 Duplicate explanation for Online Help and pdf Format

• Submitted: 4 Nov 2005 18:14
• Modified: 17 Nov 2005 9:57
• Reporter: Carlos C
• Status: Closed
• Category: MySQL Server: Documentation
• Severity: S3 (Non-critical)
• Version: 5.0.x
• CPU Architecture: Any

[4 Nov 2005 18:14] Carlos C

Description:
There is a duplicate InnoDB startup option being displayed for the 'innodb_status_file'.

How to repeat:
Online:
1. Go to: http://dev.mysql.com/doc/refman/5.0/en/innodb-start.html
2. Notice there are two options for 'innodb_status_file'.

PDF:
1. Go to: Section 16.4 InnoDB Startup Options
2. Scroll to the last page of this section; page 825.
3. Notice there are two options for 'innodb_status_file'.

[4 Nov 2005 18:39] MySQL Verification Team

Thank you for the bug report.

[17 Nov 2005 9:57] Stefan Hinz

Fixed.