On Fri, Apr 22, 2016 at 10:34:02AM +0200, larsxschnei...@gmail.com wrote: > From: Lars Schneider <larsxschnei...@gmail.com> > > Run "make doc" to check if all documentation can be build without errors. > Since the documentation is the same on every platform/compiler, the check > is only performed as part of the Linux/GCC build job to maintain a fast > CI process.
This does slow down the normal test results for linux/gcc, though. I don't know very much about Travis, but is it possible to break out the documentation build into its own test, with a separate build status from the other runs? -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
