From 5077219a5f9093ea4994a316b7f2f5ffaab7d954 Mon Sep 17 00:00:00 2001 From: Anton Hvornum Date: Tue, 21 Nov 2023 19:47:15 +0100 Subject: Fix readthedocs runner (#2230) * The new build system requires a requirements.txt * .txt is in .gitignore, had to force it in --- docs/requirements.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 docs/requirements.txt diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 00000000..52b04f2e --- /dev/null +++ b/docs/requirements.txt @@ -0,0 +1 @@ +sphinx_rtd_theme \ No newline at end of file -- cgit v1.2.3-70-g09d2