Bring VSCode settings into project.

.gitignore

@@ -1,3 +1,2 @@
-.vscode
 dump.xml
 output

.vscode/settings.json

@@ -0,0 +1,11 @@
+{
+	"spellright.language": [
+		"en_GB"
+	],
+	"spellright.documentTypes": [
+		"markdown",
+		"latex",
+		"plaintext",
+		"xml"
+	]
+}

.vscode/tasks.json

@@ -0,0 +1,20 @@
+{
+	// See https://go.microsoft.com/fwlink/?LinkId=733558
+	// for the documentation about the tasks.json format
+	"version": "2.0.0",
+	"tasks": [
+		{
+			"label": "Build Manual",
+			"type": "shell",
+			"command": "./build-manual",
+			"options": {
+				"cwd": "${workspaceFolder}"
+			},
+			"problemMatcher": [],
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			}
+		}
+	]
+}