diff options
author | 2020-08-30 17:08:25 +1000 | |
---|---|---|
committer | 2020-08-30 17:08:25 +1000 | |
commit | ec88949651e02a6d3558e7c38555f3473618c9cc (patch) | |
tree | 65689af57c49ccd881643be276f7f809c37aa87c /docs | |
parent | 8cf55b23daffb1f565a510458331d0dc49e690dc (diff) |
formats: Get rid of more inappropriate use of emu_fatalerror (and fix some spelling issues, etc. while I'm at it)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index d42e8244e4c..cad683ebecc 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -145,7 +145,7 @@ html_theme_path = ["../themes/"] # If true, SmartyPants will be used to convert quotes and dashes to # typographically correct entities. -# This was depreciated in Sphinx 1.6.6 +# This was deprecated in Sphinx 1.6.6 #html_use_smartypants = True # We don't want smartquotes in general. |