From: ng0 Date: Sun, 20 Aug 2017 23:22:45 +0000 (+0000) Subject: doc: dev: mail.gnu.org became lists.gnu.org. X-Git-Tag: gnunet-0.11.0rc0~157 X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=cd24fb1e0bb871e44327d9537969d81455ef4008;p=oweals%2Fgnunet.git doc: dev: mail.gnu.org became lists.gnu.org. --- 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: +@c ** FIXME: Link to files in source, not online. +@c ** FIXME: Where is the Java tutorial? @itemize @bullet -@item GNUnet C tutorial +@item @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 -@uref{http://mail.gnu.org/mailman/listinfo/gnunet-developers, developer -mailinglist}. +@uref{https://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.