More fixes for the doc publishing script.