[GNUnet-SVN] [gnunet] branch master updated: doc: dev: mail.gnu.org became lists.gnu.org.

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new cd24fb1e0 doc: dev: mail.gnu.org became lists.gnu.org.
cd24fb1e0 is described below

commit cd24fb1e0bb871e44327d9537969d81455ef4008
Author: ng0 <address@hidden>
AuthorDate: Sun Aug 20 23:22:45 2017 +0000

    doc: dev: mail.gnu.org became lists.gnu.org.
---
 doc/chapters/developer.texi | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/doc/chapters/developer.texi b/doc/chapters/developer.texi
index 8b7954836..1ca854cba 100644
--- a/doc/chapters/developer.texi
+++ b/doc/chapters/developer.texi
@@ -97,16 +97,18 @@ advertisements for bogus websites.
 
 This developer handbook is intended as first introduction to GNUnet for new
 developers that want to extend the GNUnet framework. After the introduction,
-each of the GNUnet subsystems (directories in the src/ tree) is (supposed to
+each of the GNUnet subsystems (directories in the @file{src/} tree) is 
(supposed to
 be) covered in its own chapter. In addition to this documentation, GNUnet
 developers should be aware of the services available on the GNUnet server to
 them.
 
 New developers can have a look a the GNUnet tutorials for C and java available
-in the src/ directory of the repository or under the following links:
+in the @file{src/} directory of the repository or under the following links:
 
address@hidden ** FIXME: Link to files in source, not online.
address@hidden ** FIXME: Where is the Java tutorial?
 @itemize @bullet
address@hidden GNUnet C tutorial
address@hidden 
@uref{https://gnunet.org/git/gnunet.git/plain/doc/gnunet-c-tutorial.pdf, GNUnet 
C tutorial}
 @item GNUnet Java tutorial
 @end itemize
 
@@ -123,8 +125,7 @@ The public subsystems on the GNUnet server that help 
developers are:
 @item The Version control system keeps our code and enables distributed
 development. Only developers with write access can commit code, everyone else
 is encouraged to submit patches to the
address@hidden://mail.gnu.org/mailman/listinfo/gnunet-developers, developer
-mailinglist}.
address@hidden://lists.gnu.org/mailman/listinfo/gnunet-developers, 
GNUnet-developers mailinglist}.
 @item The GNUnet bugtracking system is used to track feature requests, open bug
 reports and their resolutions. Anyone can report bugs, only developers can
 claim to have fixed them.

-- 
To stop receiving notification emails like this one, please contact
address@hidden