Marc-Andre Laperle 619216fca4 Add build flag (-DskipDoc) to be able to skip building documentation ... Building documentation can take several minutes and is often not necessary. I suggest that we leave it on by default so that people building locally still get a full, consistent build of CDT but that it should be possible to skip it on demand. My build time went from 4:14s to 1:45s (without running tests). Change-Id: Ic7c4535f3faf82080534d39ccbe6f452d8b52317 Signed-off-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>		2015-01-29 22:07:31 -05:00
..
.externalToolBuilders
guide
META-INF	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00
reference	Adjusted .gitignore	2012-03-30 14:11:13 -07:00
.contentsettings
.cvsignore
.gitignore	Ignore doc.bin.log file	2013-02-01 14:53:30 -08:00
.project
about.html	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00
book.css
build.properties
buildDoc.xml
cdtOptions	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00
cdtOptions.txt	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00
customBuildCallbacks.xml
notices.html	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00
plugin.properties
plugin.xml
pom.xml	Add build flag (-DskipDoc) to be able to skip building documentation	2015-01-29 22:07:31 -05:00
schema.css
toc.xml
topics_Guide.xml
topics_Reference.xml	Bug 435887 - Update cdt.doc.isv	2014-05-29 11:10:56 -04:00