Fix pushing documentation