Synchronize
[travis] Fix documentation generation