DOC: Move from texinfo to sphinx

1 files changed, 3 insertions, 13 deletions

diff --git a/README b/README
index 5b3a5ccf5..1280f66a7 100644
--- a/README
+++ b/README
@@ -81,7 +81,7 @@ Build tools for compiling GNUnet from source:
 - makeinfo           >= 4.8
 - make[*3]
 - pkgconf or pkg-config
-- Texinfo            >= 5.2         [*1]
+- sphinx
 
 Direct dependencies of GNUnet:
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -138,9 +138,7 @@ Dependencies of optional components/functionality:
   * TeX Live           >= 2012        (for gnunet-bcd[*])
 - Documentation:
   * TeX Live           >= 2012        (for gnunet-bcd[*])
-  * texi2mdoc                         (for automatic mdoc generation [*2], not
-                                      the texi2mdoc script distributed with
-                                      autogen but the texi2mdoc C application)
+
 - PABC credential support
   * libpabc            any            (for re:claimID zero-knowledge privacy
                                       credentials)
@@ -180,17 +178,9 @@ Recommended software for developer tools:
     a limited subset ('texlive-tiny' in Guix) is enough.
 
 [*1] The default configuration is to build the info output of the
-     documentation, and therefore require texinfo.  You can pass
+     documentation, and therefore require sphinx.  You can pass
      '--disable-documentation' to the configure script to change this.
 
-[*2] If you still prefer to have documentation, you can pass
-     '--enable-texi2mdoc-generation' to build the mdocml ("mandoc")
-     documentation (experimental stages in gnunet).
-     If this proves to be reliable, we will
-     include the mdocml output in the release tarballs.
-     Contrary to the name, texi2mdoc does not require Texinfo,
-     It is a standalone ISO C utility.
-
 [*3] GNU make introduced the != operator in version 4.0.
      GNU make was released in october 2013, reasonable to
      be widespread by now. If this is not working out for