Documentation for developers.
fixes the travis icon