fix broken link on server. ideally we copy this independently of the

checkout build, because this breaking every now and then through a
failing cronjob is bad practices.

diff --git a/doc/index.html b/doc/index.html
index af7a72e22cf2cad7568e8a5b4f3f055c933abe42..30a6fed61af4c56150c3c871a28eb4f55d8436e8 100644 (file)
--- a/doc/index.html
+++ b/doc/index.html
@@ -26,7 +26,7 @@
 
     <ul>
       <li><a href="/handbook/gnunet.html">GNUnet Reference Manual</li>
-      <li><a href="/tutorial/tutorial.html">GNUnet C Tutorial</li>
+      <li><a href="/tutorial/gnunet-tutorial.html">GNUnet C Tutorial</li>
       <li><a href="/doxygen/">GNUnet Doxygen</li>
       <li><a href="https://rest.gnunet.org/">REST API</a></li>
       <li><a href="https://bib.gnunet.org/">Bibliography</a></li>