Update.

git-svn-id: https://svn.dealii.org/trunk@21336 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/readme-petsc-trilinos.html b/deal.II/doc/readme-petsc-trilinos.html
index a426571f5958606d62b7fcf14d1d26eb35e0ab60..11050be9a4f2f0582fa575f2de18780f6f8b2f01 100644 (file)
--- a/deal.II/doc/readme-petsc-trilinos.html
+++ b/deal.II/doc/readme-petsc-trilinos.html
@@ -189,7 +189,7 @@ cmake \
           -D CMAKE_VERBOSE_MAKEFILE:BOOL=FALSE       \
           -D Trilinos_VERBOSE_CONFIGURE:BOOL=FALSE   \
           -D BUILD_SHARED_LIBS:BOOL=ON \
-          -D CMAKE_INSTALL_PREFIX:PATH=/w/bangerth/share/x86_64/trilinos-10.0.2-mpi \
+          -D CMAKE_INSTALL_PREFIX:PATH=/w/bangerth/share/x86_64/trilinos-10.0.2 \
           `pwd`/../
 make
 make install
@@ -200,15 +200,6 @@ make install
       want to use Trilinos with MPI on parallel machines, you also need to
       flip the value of the <code>TPL_ENABLE_MPI</code> flag above.
       </p>
-    <p>
-      Note: if the deal.II ./configure reports an error related to
-      HAVE_INTTYPES_H, edit <trilinos>/include/ml_config.h and comment out the
-      line
-       <code>
-       <pre>
-#define HAVE_INTTYPES_H
-       </pre>
-       </code>
     </p>
 
       <h3>Configuring for installed Trilinos packages</h3>