From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Wed, 3 Apr 2013 21:24:58 +0000 (+0000)
Subject: A graphical user interface is, pretty much by definition, not a cli interface :-)
X-Git-Tag: v8.0.0~801
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=740a5e1a36891ece6794b7b3026f6bf70bd07201;p=dealii.git

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 a08f6996ff..be01209bc5 100644
--- 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 .