git.iko.soy/Idris-dev
on master help sign in
fix sphinx warnings.
commit2c9496f5bddb129ce8dab4d891fcc8efe2bff18b authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateWed 7 Dec 2016, 13:11 (10 years ago) parent9cc65aa
1 file changed+1−1
compare with master
unifiedsplit
docs/conf.py+1−1
docs/conf.py+1−1
@@ -33,7 +33,7 @@ on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
3333# ones.
3434extensions = [
3535 'sphinx.ext.todo',
36− 'sphinx.ext.pngmath',
36+ 'sphinx.ext.imgmath',
3737 'sphinx.ext.ifconfig',
3838]
3939