]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fix: update ninja build resource 15378/head
authorEmmanuel Ferdman <emmanuelferdman@gmail.com>
Sun, 18 Jun 2023 09:20:56 +0000 (12:20 +0300)
committeremmanuel-ferdman <emmanuelferdman@gmail.com>
Mon, 19 Jun 2023 07:36:47 +0000 (10:36 +0300)
doc/users/cmake_dealii.html

index ea8b3b7b3088af3f1f09ca17abf8ea908978cd30..bd17f58cbef7c6caa32cc29752287f735a1a3fdd 100644 (file)
@@ -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>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.