Merge pull request #557 from YoRyan/manual-vscode-dev

Add support for the building the manual with a Visual Studio Code development container

Author: cjakeman

Source/Documentation/Manual/.devcontainer/Dockerfile

@@ -0,0 +1,2 @@
+FROM sphinxdoc/sphinx-latexpdf
+RUN pip install --no-cache-dir sphinx-rtd-theme

Source/Documentation/Manual/.devcontainer/devcontainer.json

@@ -0,0 +1,22 @@
+{
+    "build": {
+        "dockerfile": "Dockerfile"
+    },
+    "workspaceMount": "source=${localWorkspaceFolder},target=/docs,type=bind",
+    "workspaceFolder": "/docs",
+    "remoteUser": "vscode",
+    "features": {
+        "common": {
+            "username": "automatic",
+            "uid": "automatic",
+            "gid": "automatic",
+            "installZsh": true,
+            "installOhMyZsh": true,
+            "upgradePackages": true,
+            "nonFreePackages": false
+        }
+    },
+    "extensions": [
+        "TatsuyaNakamori.resttext"
+    ]
+}

Source/Documentation/Manual/.vscode/tasks.json

@@ -0,0 +1,32 @@
+{
+	"version": "2.0.0",
+	"tasks": [
+		{
+			"type": "shell",
+			"command": "make",
+			"args": ["html"],
+			"label": "Build: html",
+			"problemMatcher": [],
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			}
+		},
+		{
+			"type": "shell",
+			"command": "make",
+			"args": ["latexpdf"],
+			"label": "Build: latex",
+			"problemMatcher": [],
+			"group": "build"
+		},
+		{
+			"type": "shell",
+			"command": "make",
+			"args": ["clean"],
+			"label": "Build: Make Clean",
+			"problemMatcher": [],
+			"group": "build"
+		}
+	]
+}