Fix DDoc pushing script