Fix another bug with automatised pushing documentation