From 9f2e53ef2d382d082f1f732ecc94baa25eb9361b Mon Sep 17 00:00:00 2001
From: Martin Costello <martin@martincostello.com>
Date: Sat, 28 Oct 2023 13:42:20 +0100
Subject: [PATCH] Bump docfx

Update docfx to v2.72.1.
---
 .config/dotnet-tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
index 322ceae1aa9..598c3707838 100644
--- a/.config/dotnet-tools.json
+++ b/.config/dotnet-tools.json
@@ -15,7 +15,7 @@
       ]
     },
     "docfx": {
-      "version": "2.72.0",
+      "version": "2.72.1",
       "commands": [
         "docfx"
       ]