doc/manual/source/distributed.rst
changeset 7024 4392d52b3536
parent 6998 1c2b8cfb71d2
child 7140 d203296efb63
--- a/doc/manual/source/distributed.rst	Tue Apr 12 10:39:17 2011 -0700
+++ b/doc/manual/source/distributed.rst	Tue Apr 12 14:35:16 2011 -0700
@@ -118,7 +118,7 @@
 
 Configure |ns3| with the --enable-mpi option:::
 
-    ./waf -d debug configure --enable-tests --enable-mpi
+    ./waf -d debug configure --enable-examples --enable-tests --enable-mpi
 
 Ensure that MPI is enabled by checking the optional features shown from the
 output of configure.