mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-23 14:42:11 +02:00
619216fca4
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> |
||
|---|---|---|
| .. | ||
| concepts | ||
| html | ||
| images | ||
| META-INF | ||
| reference | ||
| tasks | ||
| .gitignore | ||
| .project | ||
| about.html | ||
| book.css | ||
| build.properties | ||
| customBuildCallbacks.xml | ||
| notices.html | ||
| plugin.properties | ||
| plugin.xml | ||
| pom.xml | ||
| testToc.xml | ||
| toc.xml | ||