Clarify requirment for MPI with Trilinos in documentation

diff --git a/doc/external-libs/trilinos.html b/doc/external-libs/trilinos.html
index 406f877c1611bf3b9df788bd3984abb3eb13366b..3c6deb19d287a9170b73f4df3b66846d19766ef9 100644 (file)
--- a/doc/external-libs/trilinos.html
+++ b/doc/external-libs/trilinos.html
@@ -111,9 +111,8 @@
     make install
       </pre>
       You will need to adjust the path into which you want to install Trilinos
-      in the CMAKE_INSTALL_PREFIX line. If you do not have MPI installed you
-      should use <code>-DTPL_ENABLE_MPI=OFF</code> instead. Additionally, if
-      your computer has enough memory available, it may also be useful to pass
+      in the CMAKE_INSTALL_PREFIX line. If your computer has enough memory
+      available, it may also be useful to pass
       the flag <code>-DTrilinos_ENABLE_EXPLICIT_INSTANTIATION=ON</code>, which
       will improve compilation times of deal.II programs that use Trilinos.
     </p>