Tiny Cmake documentation fix

diff --git a/doc/users/cmake_dealii.html b/doc/users/cmake_dealii.html
index 559f5f73327b8fc8da4171259fc1acad95059ab9..47d75ccb141a72ba050aeadd948feb9d3a0659a8 100644 (file)
--- a/doc/users/cmake_dealii.html
+++ b/doc/users/cmake_dealii.html
@@ -965,7 +965,7 @@ make  deal_II.g        # only debug library
 make  deal_II          # only release (optimized) library
 make  all              # both
 
-make  obj_grid.release # all objects in ./source/grid in release configuration
+make  obj_grid_release # all objects in ./source/grid in release configuration
 </pre>
     </p>