README: fix switch.

diff --git a/README b/README
index 15879c4c4db4d47fba682edaebcd4ba8ad2a0d6a..dd704724f3a98de4e1bde48d0a6e49d0366b6770 100644 (file)
--- a/README
+++ b/README
@@ -157,9 +157,10 @@ Recommended autotools for compiling the Git version are:
      '--disable-documentation' to the configure script to change this.
 
 [*2] If you still prefer to have documentation, you can pass
-     '--with-section7' to build mdoc documentation (experimental
-     stages in gnunet). If this proves to be reliable, we will
-     include the mdoc output in the release tarballs.
+     '--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.