MicroDocs Jenkins plugin Integrate Jenkins with MicroDocs Features Publish new definitions to the MicroDocs server Check for compatibility problems Report back on a pull request in BitBucket/Stash Build Start up a local jenkins server with this plugin $ gradle server Publish todo