gnunet-handbook

commit e2b781cee663d9d538e2dceb08716bad1346a7f0
parent 2fff8cb90359da47cb0fd4de77c5dc8e770c0c0f
Author: marshall <stmr@umich.edu>
Date:   Tue, 16 May 2023 14:34:01 -0400

repo: fix broken ref to libgnunetutil (util/index)

Diffstat:
M
developers/repo.rst
 | 
5
+++--
M
developers/util/index.rst
 | 
1
+

2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/developers/repo.rst b/developers/repo.rst
@@ -22,8 +22,9 @@ terms of the layers of the system).
    is to provide an OS-independent interface and more 'secure' or
    convenient implementations of commonly used primitives. The API is
    spread over more than a dozen headers, developers should study those
-   closely to avoid duplicating existing functions. see
-   `libgnunetutil <#libgnunetutil>`__.
+   closely to avoid duplicating existing functions. See
+   :ref:`GNUnet-libgnunetutil`.
+
 
 ``hello/`` --- libgnunethello
    HELLO messages are used to describe under which addresses a peer can
diff --git a/developers/util/index.rst b/developers/util/index.rst
@@ -1,3 +1,4 @@
+.. _GNUnet-libgnunetutil:
 
 libgnunetutil
 =============