Pushing documentation to extra repository