From 2cd8aeadd78a1e5178362e5f3d6afc115e5c8c8b Mon Sep 17 00:00:00 2001
From: Karel van Klink <karel.vanklink@geant.org>
Date: Thu, 30 Mar 2023 10:28:26 +0200
Subject: [PATCH] Add script that will allow for a local test run of
 documentation and linting

Signed-off-by: Karel van Klink <karel.vanklink@geant.org>
---
 docs/test_documentation.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 docs/test_documentation.sh

diff --git a/docs/test_documentation.sh b/docs/test_documentation.sh
new file mode 100755
index 0000000..b19664a
--- /dev/null
+++ b/docs/test_documentation.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+docker run -it --rm -v $(pwd):/docs sphinxdoc/sphinx:latest /bin/bash -c \
+"pip install sphinx_rtd_theme myst-parser;cd docs;make html"
+
+docker run -it --rm -v $(pwd):/gap jdkato/vale:latest --config="/gap/vale/.vale.ini" sync
+docker run -it --rm -v $(pwd):/gap jdkato/vale:latest --config="/gap/vale/.vale.ini" /gap/build/html/_sources/
-- 
GitLab