0907 merged master

.gitignore

@@ -1 +1,17 @@
 *.pyc
+
+*.v0
+*.v1S
+*.v22
+
+*.ELE
+*.U
+*.E
+*.EM
+*.EN
+*.EMN
+*.S
+*.SM
+*.SN
+*.SMN
+*.fi

.vscode/settings.json

@@ -1,3 +1,4 @@
 {
-  "restructuredtext.languageServer.disabled": true
+  "restructuredtext.languageServer.disabled": true,
+  "restructuredtext.confPath": "${workspaceFolder}\\docs\\source"
 }

docs/Makefile

@@ -1,9 +1,10 @@
 # Minimal makefile for Sphinx documentation
 #
 
-# You can set these variables from the command line.
-SPHINXOPTS    =
-SPHINXBUILD   = sphinx-build
+# You can set these variables from the command line, and also
+# from the environment for the first two.
+SPHINXOPTS    ?=
+SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = source
 BUILDDIR      = build
 
@@ -16,4 +17,4 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)