mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-26 17:53:55 +02:00
![]() 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> |
||
---|---|---|
.. | ||
.externalToolBuilders | ||
guide | ||
META-INF | ||
reference | ||
.contentsettings | ||
.cvsignore | ||
.gitignore | ||
.project | ||
about.html | ||
book.css | ||
build.properties | ||
buildDoc.xml | ||
cdtOptions | ||
cdtOptions.txt | ||
customBuildCallbacks.xml | ||
notices.html | ||
plugin.properties | ||
plugin.xml | ||
pom.xml | ||
schema.css | ||
toc.xml | ||
topics_Guide.xml | ||
topics_Reference.xml |