From 7510959c07761aef47e1c5f75dd34f51add9f1a2 Mon Sep 17 00:00:00 2001
From: Toby Hodges <tbyhdgs@gmail.com>
Date: Tue, 25 Jul 2023 09:11:31 +0200
Subject: [PATCH] add installation instructions page

---
 _extras/install_instructions.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 _extras/install_instructions.md

diff --git a/_extras/install_instructions.md b/_extras/install_instructions.md
new file mode 100644
index 00000000..7442ede3
--- /dev/null
+++ b/_extras/install_instructions.md
@@ -0,0 +1,26 @@
+---
+layout: page
+title: Installation Instructions
+permalink: /install_instructions/index.html
+tools:
+  - editor
+  - git
+  - openrefine
+  - python
+  - r
+  - shell
+  - sql
+  - videoconferencing
+---
+
+{% comment %}
+To add a new set of installation instructions to this page:
+1. Add the instructions (in HTML) as a new file in the `_includes` folder
+2. Add the name of that file, without the .html extension,
+   to the `tools` array in the YAML front matter of this page
+   (i.e. between the --- above).
+{% endcomment %}
+
+{% for tool in page.tools %}
+{% include install_instructions/{{tool}}.html %}
+{% endfor %}