Use cmake option BUILD_DOCS to build the documents
a4fc8dc0ed85
Actions

Authored by rizzitello on Jan 19 2018, 6:36 PM.

Description

Use cmake option BUILD_DOCS to build the documents

Summary: Use Cmake option BUILD_DOCS to build the documentation

Reviewers: laysrodrigues, tcanabrava, patrickelectric

Reviewed By: laysrodrigues, tcanabrava

Committed

rizzitello

Jan 20 2018, 3:35 PM

Reviewer

laysrodrigues

Differential Revision

D9986: Use cmake option BUILD_DOCS to build the documents

Parents

Branches

Unknown

Tags

Unknown

	Commit			Author	Details	Committed
	226cbad02255		D9986	rizzitello	Use cmake option BUILD_DOCS to build the documents	Jan 19 2018