Fixup publish_docs.s help message and a bad conf.py setting.