commit fd60e414da556639c52b114af5451b155bef006f
parent 8d521ff82f826407eba6dd8e0c6d7436b7e32357
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Sun, 31 Jul 2022 18:41:45 +0200
more naming
Diffstat:
4 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/man_developers/contributing.rst b/man_developers/contributing.rst
@@ -1,7 +1,7 @@
.. _GNUnet-Contributors-Handbook:
****************************
-GNUnet Contributors Handbook
+Contributors Handbook
****************************
.. _Contributing-to-GNUnet:
diff --git a/man_developers/index.rst b/man_developers/index.rst
@@ -2,7 +2,7 @@
.. _GNUnet-Developer-Handbook:
#########################
-GNUnet Developer Handbook
+Developer Handbook
#########################
This book is intended to be an introduction for programmers that want to
diff --git a/man_developers/style.rst b/man_developers/style.rst
@@ -1,6 +1,6 @@
******************
-GNUnet Style Guide
+Style Guide
******************
This document contains normative rules for writing GNUnet
diff --git a/user.md b/user.md
@@ -1,4 +1,4 @@
-# Using GNUnet
+# User Manual
This tutorial is supposed to give a first introduction for users trying to do something real with GNUnet. Installation and configuration are specifically outside of the scope of this tutorial. Instead, we start by briefly checking that the installation works, and then dive into uncomplicated, concrete practical things that can be done with the framework provided by GNUnet.
