no longer dist directory for theme, revert
parent
5c78919c39
commit
bcf6707c3c
|
@ -228,6 +228,6 @@ def update_theme():
|
|||
local('rm -rf theme_update_dir')
|
||||
local('git clone https://github.com/snide/sphinx_rtd_theme.git theme_update_dir')
|
||||
local('rm -rf sphinx_rtd_theme')
|
||||
local('mv theme_update_dir/dist/sphinx_rtd_theme .')
|
||||
local('mv theme_update_dir/sphinx_rtd_theme .')
|
||||
local('cp sphinx_rtd_theme/static/theme.css %s' % os.path.join(fabfile_dir, 'media', 'css', 'sphinx_rtd_theme.css'))
|
||||
local('rm -rf theme_update_dir')
|
||||
|
|
Loading…
Reference in New Issue