From b4c4217e456604a4d57db225830ebcb0f0e64dc3 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Thu, 9 Feb 2023 22:32:05 +0100
Subject: [PATCH] added local docfx installation

---
 .config/dotnet-tools.json | 12 ++++++++++++
 Jenkinsfile               |  4 +++-
 2 files changed, 15 insertions(+), 1 deletion(-)
 create mode 100644 .config/dotnet-tools.json

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
new file mode 100644
index 0000000..2995257
--- /dev/null
+++ b/.config/dotnet-tools.json
@@ -0,0 +1,12 @@
+{
+  "version": 1,
+  "isRoot": false,
+  "tools": {
+    "docfx": {
+      "version": "2.61.0",
+      "commands": [
+        "docfx"
+      ]
+    }
+  }
+}
diff --git a/Jenkinsfile b/Jenkinsfile
index f923d5d..2a23baf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,7 +18,9 @@ pipeline {
         branch 'main'
       }
       steps {
-        sh 'cd docs; docfx'
+        sh '''cd docs
+              dotnet tool restore
+              dotnet docfx'''
         sh 'rm -rf /var/www/tinylifedocs/*'
         sh 'cp -r docs/_site/. /var/www/tinylifedocs/'
       }