edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-28 05:32:03 +03:00
Code Issues Projects Releases Wiki Activity

Improve RTD config.

Browse Source 
+ Sphinx can read CommonMark formatted files, so let us allow that capability.
+ Improve .gitignore to ignore sphinx build directories.
This commit is contained in:
Jan de Muijnck-Hughes 2019-07-31 14:07:16 +01:00
parent e95c5f7571
commit 79729935ea
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -6,6 +6,8 @@
idris2 idris2
runtests runtests
docs/_build/
libs/**/build libs/**/build
tests/**/output tests/**/output

3
docs/conf.py
View File

@ -35,13 +35,14 @@ extensions = [
'sphinx.ext.todo', 'sphinx.ext.todo',
# 'sphinx.ext.pngmath', # imgmath is not supported on readthedocs. # 'sphinx.ext.pngmath', # imgmath is not supported on readthedocs.
'sphinx.ext.ifconfig', 'sphinx.ext.ifconfig',
'recommonmark'
] ]
# Add any paths that contain templates here, relative to this directory. # Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates'] templates_path = ['_templates']
# The suffix of source filenames. # The suffix of source filenames.
source_suffix = '.rst' source_suffix = ['.rst','.md']
# The encoding of source files. # The encoding of source files.
#source_encoding = 'utf-8-sig' #source_encoding = 'utf-8-sig'