aboutsummaryrefslogtreecommitdiff
path: root/doc
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 /doc
parent1ce0ec72e62c44ce9816673af66d23f8e1334ce7 (diff)
downloadgnunet-80aeaa65d4d06a4e195c1ad12712c68998faa844.tar.gz
gnunet-80aeaa65d4d06a4e195c1ad12712c68998faa844.zip
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.
Diffstat (limited to 'doc')
-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 @@
26 26
27 <ul> 27 <ul>
28 <li><a href="/handbook/gnunet.html">GNUnet Reference Manual</li> 28 <li><a href="/handbook/gnunet.html">GNUnet Reference Manual</li>
29 <li><a href="/tutorial/tutorial.html">GNUnet C Tutorial</li> 29 <li><a href="/tutorial/gnunet-tutorial.html">GNUnet C Tutorial</li>
30 <li><a href="/doxygen/">GNUnet Doxygen</li> 30 <li><a href="/doxygen/">GNUnet Doxygen</li>
31 <li><a href="https://rest.gnunet.org/">REST API</a></li> 31 <li><a href="https://rest.gnunet.org/">REST API</a></li>
32 <li><a href="https://bib.gnunet.org/">Bibliography</a></li> 32 <li><a href="https://bib.gnunet.org/">Bibliography</a></li>