MySQL Bugs: #68325: Provide an option to buid without the documentation

Bug #68325	Provide an option to buid without the documentation
Submitted:	9 Feb 2013 9:25	Modified:	13 Jun 2013 2:44
Reporter:	Remi Collet	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench	Severity:	S4 (Feature request)
Version:		OS:	Any
Assigned to:	Alfredo Kojima	CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
As documentation is not Free, please provide a build option to allow packaging of MW.

This also requires to fix source to redirect to online documentation instead of local bundled copy.

How to repeat:
N/A

Suggested fix:
provide 2 upstream tarball:
- one for MW sources with only free stuff
- one for MW non free documentation

add an option to not try to install documentation

Fixed as of the upcoming MySQL Workbench 6.0.2 public beta release, and here's the changelog entry:

On Fedora Linux, the documentation is no longer bundled with MySQL Workbench, due to it not being "Free".

Thank you for the bug report.