Script to publish the doc/ directory.