summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornikita <nikita@n0.is>2020-05-07 10:54:05 +0200
committernikita <nikita@n0.is>2020-05-07 10:54:05 +0200
commit80aeaa65d4d06a4e195c1ad12712c68998faa844 (patch)
treee54001d703d049131b8755ba6ddb2cb46b53690d
parent1ce0ec72e62c44ce9816673af66d23f8e1334ce7 (diff)
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.
-rw-r--r--doc/index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/index.html b/doc/index.html
index af7a72e22..30a6fed61 100644
--- 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>