A graphical user interface is, pretty much by definition, not a cli interface :-)

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

diff --git a/deal.II/doc/development/cmake.html b/deal.II/doc/development/cmake.html
index a08f6996ff445b59b614acfb995e60f2bd4f1bda..be01209bc5e39959b8a847fc89f9ac8c455d2f16 100644 (file)
--- a/deal.II/doc/development/cmake.html
+++ b/deal.II/doc/development/cmake.html
@@ -153,7 +153,8 @@
     <h4> <code>ccmake</code> and special build targets </h4>
 
       A very convenient way to alter the configuration is to use the graphical
-      cli interface <code>ccmake</code>. It can be invoked via
+      user interface <code>ccmake</code> to the
+      variables <code>cmake</code> stores upon running. It can be invoked via
       <pre>
 
     ccmake .