mirror of
https://github.com/fish-shell/fish-shell
synced 2024-12-27 13:23:09 +00:00
docs: Don't add rst sources
This used to add a "_sources" directory with all the ".rst" files renamed to ".rst.txt". That took up ~0.7M of the total size for very little use.
This commit is contained in:
parent
fa9c233065
commit
e2fb645c0c
1 changed files with 3 additions and 2 deletions
|
@ -141,8 +141,9 @@ pygments_style = None
|
|||
# of _static/pygments.css
|
||||
html_theme_path = ["."]
|
||||
html_theme = "python_docs_theme"
|
||||
# html_theme_path = ["./cloud_sptheme/themes"]
|
||||
# html_theme = "cloud"
|
||||
|
||||
# Don't add a weird "_sources" directory
|
||||
html_copy_source = False
|
||||
|
||||
# Theme options are theme-specific and customize the look and feel of a theme
|
||||
# further. For a list of options available for each theme, see the
|
||||
|
|
Loading…
Reference in a new issue