From a996eecc18dbc6d0cc2e4d2795d5bbddf9f5a3fe Mon Sep 17 00:00:00 2001
From: Emmanuel Ferdman <emmanuelferdman@gmail.com>
Date: Sun, 18 Jun 2023 12:20:56 +0300
Subject: [PATCH] fix: update ninja build resource

---
 doc/users/cmake_dealii.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/users/cmake_dealii.html b/doc/users/cmake_dealii.html
index ea8b3b7b30..bd17f58cbe 100644
--- a/doc/users/cmake_dealii.html
+++ b/doc/users/cmake_dealii.html
@@ -350,7 +350,7 @@ $ cmake -G"Eclipse CDT4 - Unix Makefiles" [...]
 
     <p>
       An interesting alternative to (GNU) Make might also be <a
-      href="http://martine.github.io/ninja/">Ninja</a>. Configure via
+      href="https://ninja-build.org/">Ninja</a>. Configure via
 <pre class="cmake">
 $ cmake -GNinja [...]
 </pre>
-- 
2.39.5