From a8f0089d83fbfd80796253925436d66d9f35307c Mon Sep 17 00:00:00 2001
From: Steve Fryatt <info@stevefryatt.org.uk>
Date: Sat, 5 Nov 2022 01:36:24 +0000
Subject: [PATCH] Bring VSCode settings into project.

---
 .gitignore            |  1 -
 .vscode/settings.json | 11 +++++++++++
 .vscode/tasks.json    | 20 ++++++++++++++++++++
 3 files changed, 31 insertions(+), 1 deletion(-)
 create mode 100644 .vscode/settings.json
 create mode 100644 .vscode/tasks.json

diff --git a/.gitignore b/.gitignore
index 9b90f87..3d20f7c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,2 @@
-.vscode
 dump.xml
 output
\ No newline at end of file
diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100644
index 0000000..7e41498
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,11 @@
+{
+	"spellright.language": [
+		"en_GB"
+	],
+	"spellright.documentTypes": [
+		"markdown",
+		"latex",
+		"plaintext",
+		"xml"
+	]
+}
\ No newline at end of file
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
new file mode 100644
index 0000000..f9720ca
--- /dev/null
+++ b/.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
+			}
+		}
+	]
+}
\ No newline at end of file