我正在使用Sphinx生成我的一些项目的文档。我编写了一个简单的构建脚本，它克隆了他们所有的 git repos，找到 docs 目录并执行：
sphinx-build -b html -D html_theme=treffynnon -D html_theme_path=/home/user/_themes /home/user/sphinx/src /home/user/output/docs
不幸的是，虽然html_theme设置正确，html_theme_path但没有。这当然会导致 Sphinx 在找不到主题时吐出错误。
我应该如何格式化这个命令？甚至可以以html_theme_path这种方式指定吗？
这看起来像是一个已知的错误：https ://bitbucket.org/birkenfeld/sphinx/issue/925/allow-html_theme_path-to-be-provided-to
为了解决这个问题，我刚刚使用 sed 为我在配置文件中进行了替换：
sed -i "s|#*html_theme = '.*'|html_theme = 'simonholywell'|g" conf.py
sed -i "s|#*html_theme_path = .*$|html_theme_path = ['$BASE_DIR/sphinx/_themes']|g" conf.py
由于我的 Sphinx 项目都在 git 中，因此我可以执行以下操作：
git checkout -- conf.py
在完成构建过程后删除 sed 引入的更改。