From 23843a60601b6ce25fc8595e17ab7b6c50cfd600 Mon Sep 17 00:00:00 2001
From: Andrii Chebukin <andrii@lula.is>
Date: Fri, 3 Feb 2023 20:34:48 -0500
Subject: [PATCH] Updated legacy `fsharp.formatting.commandtool` to
 `fsdocs-tool`

---
 .config/dotnet-tools.json | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 1a0c5db73..25aac53bd 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -2,17 +2,17 @@
   "version": 1,
   "isRoot": true,
   "tools": {
-    "fsharp.formatting.commandtool": {
-      "version": "11.1.0",
-      "commands": [
-        "fsdocs"
-      ]
-    },
     "fantomas": {
       "version": "5.2.0",
       "commands": [
         "fantomas"
       ]
+    },
+    "fsdocs-tool": {
+      "version": "17.2.2",
+      "commands": [
+        "fsdocs"
+      ]
     }
   }
 }
\ No newline at end of file