typesfuns.rst done; fix build error.

Idris-zh · Mar 6, 2018 · 8b5a477 · 8b5a477
1 parent eba072f
commit 8b5a477
Show file tree

Hide file tree

Showing 2 changed files with 1,012 additions and 519 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -237,7 +237,7 @@
 'fontpkg': '',
 'inputenc': '',
 'utf8extra': '',
-'releasename': '版本',
+'releasename': u'版本',
 
 # The font size ('10pt', '11pt' or '12pt').
 'pointsize': '10pt',
@@ -343,7 +343,7 @@
 #  dir menu entry, description, category)
 texinfo_documents = [
   (master_doc, 'IdrisManual', u'Idris 手册',
-   author, 'IdrisManual', '项目描述',
+   author, 'IdrisManual', u'项目描述',
    'Miscellaneous'),
 ]