From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 26 Oct 2015 23:54:50 +0000 (-0500)
Subject: Documentation: Fix a typo in porting.html
X-Git-Tag: v8.4.0-rc2~280^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=633cf4363538598d31330e27b43f7e688bc28c7a;p=dealii.git

Documentation: Fix a typo in porting.html
---

diff --git a/doc/developers/porting.html b/doc/developers/porting.html
index f49b08a049..51338abe9b 100644
--- a/doc/developers/porting.html
+++ b/doc/developers/porting.html
@@ -128,11 +128,12 @@ include/deal.II/base/config.h.in
 
     <p>
       You have to set up a native deal.II build directory first and run
-      <code>make expand_instantiations</code> in it. The executable is
+      <code>make expand_instantiations_exe</code> in it. The executable is
       needed for the build system (and obviously the cross compiled version
       cannot be used). Locate the <code>expand_instantiations</code>
-      executable and export its location in the <code>PATH</code>
-      environment variable.
+      executable (it usually resides under
+      <code>${CMAKE_BINARY_DIR}/bin</code> and export its location with the
+      <code>PATH</code> environment variable.
     </p>
 
     <p>