[DISPATCH-123] Separate target to build documentation.

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 0.4
• Fix Version/s: 0.5
• Component/s: Documentation
• Assignee: Alan Conway
• Reporter: Alan Conway
• Created: 05/Mar/15 22:56
• Updated: 20/Nov/17 18:40
• Resolved: 07/Mar/15 02:53

Description

Building the API documentation takes a while and is a onec-off task so for developer convenience it doesn't need to be in the "all" target.

You can already disable it with the BUILD_DOCS cmake option but it's a pain to twiddle those options all the time, and developers might want to build the docs when they're done with changes e.g. to review APIdoc changes, but not to re-build them for every source change.

Move the doc creation to a seprate target "make doc" that is not automatically included in "make all"