Bug 575005

Summary:	Update Preference Reference 'Build'
Product:	[Eclipse Project] Platform	Reporter:	Dieter Mai <maidieter>
Component:	Doc	Assignee:	Platform-Doc-Inbox <platform-doc-inbox>
Status:	NEW ---	QA Contact:
Severity:	trivial
Priority:	P3	CC:	maidieter
Version:	4.20
Target Milestone:	---
Hardware:	All
OS:	All
See Also:	https://git.eclipse.org/r/c/platform/eclipse.platform.common/+/183333
Whiteboard:

Description Dieter Mai

2021-07-23 12:29:59 EDT

The help page 'Build' at Workbench User Guide > Reference > Preferences > Build can be updated.

I see the following issues with this page:
- Link in the outline is 'Build Order' instead of 'Build'
- 'manual' is missing in 'Save automatically before build' 
- Informel addressing