git.iko.soy/Idris-dev
on master help sign in
User Docs updates

+ Bumped version number to be inline with main project + Commented out reference manual PDF generation due to error. + Replaced Tutorial PDF in main repo with up-to-date version.

commit261455f0d0b5e2ba7f54ed6e92c17d25a1c78482 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateThu 28 Jan 2016, 15:32 (11 years ago) parentf3cc145
2 files changed+4−4
compare with master
unifiedsplit
docs/conf.py+4−4 idris-tutorial.pdf
docs/conf.py+4−4
@@ -59,9 +59,9 @@ author = u'The Idris Community'
5959# built documents.
6060#
6161# The short X.Y version.
62−version = '0.9.19'
62+version = '0.10.1'
6363# The full version, including alpha/beta/rc tags.
64−release = '0.9.19.1'
64+release = '0.10.1'
6565
6666# The language for content autogenerated by Sphinx. Refer to documentation
6767# for a list of supported languages.
@@ -234,9 +234,9 @@ latex_elements = {
234234# (source start file, target name, title,
235235# author, documentclass [howto, manual, or own class]).
236236latex_documents = [
237− ('guides/index', 'idris-guides.tex', u'Idris Tutorial Series', u'The Idris Community', 'manual'),
238− ('reference/index', 'idris-reference.tex', u'The Idris Reference', u'The Idris Community', 'manual'),
239237 ('tutorial/index', 'idris-tutorial.tex', u'The Idris Tutorial', u'The Idris Community', 'manual'),
238+ ('guides/index', 'idris-guides.tex', u'Idris Tutorial Series', u'The Idris Community', 'manual'),
239+# ('reference/index', 'idris-reference.tex', u'The Idris Reference', u'The Idris Community', 'manual'),
240240 ('effects/index', 'eff-tutorial.tex', u'The Effects Tutorial', u'The Idris Community', 'manual')
241241 ]
242242
idris-tutorial.pdf

Binary file not shown.