Add configuration for Sphinx Spelling checker

This is an optional extension that checks for spelling
better than the system spell.

Author: rakhimov

Makefile

@@ -63,6 +63,12 @@ images: $(PDFs)
 clean:
 	rm -rf $(BUILDDIR)/*
 
+.PHONY: spelling
+spelling:
+	SPHINX_SPELL=1 $(SPHINXBUILD) -b spelling $(ALLSPHINXOPTS) $(BUILDDIR)/spelling
+	@echo
+	@echo "Spelling checker messages are written to $(BUILDDIR)/spelling/output.txt"
+
 .PHONY: cleanpdf
 	rm $(PDFs)
 

conf.py

@@ -16,7 +16,7 @@
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 #
-# import os
+import os
 import sys
 from subprocess import check_output
 # sys.path.insert(0, os.path.abspath('.'))
@@ -44,6 +44,11 @@ def open(filename):
     'sphinx.ext.githubpages',
 ]
 
+spelling = os.getenv('SPHINX_SPELL')  # Enable the optional spell check.
+
+if spelling:
+    extensions.append('sphinxcontrib.spelling')
+
 numfig = True
 
 # Add any paths that contain templates here, relative to this directory.
@@ -104,6 +109,8 @@ def open(filename):
 # directories to ignore when looking for source files.
 # This patterns also effect to html_static_path and html_extra_path
 exclude_patterns = ['build', 'Thumbs.db', '.DS_Store', '**README.rst']
+if spelling:
+    exclude_patterns += ['**bibliography.rst', 'stamp.rst']
 
 # The reST default role (used for this markup: `text`) to use for all
 # documents.

spelling_wordlist.txt

@@ -0,0 +1,17 @@
+Ai
+CCF
+Fi
+LAnguage
+Napierian
+PSA
+REgular
+Ri
+Schematron
+datatype
+datatypes
+formulae
+iff
+lognormal
+nand
+schemas
+xor