From f0781605fefe17257ac44de765b83f0a1aea7215 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 3 Apr 2013 21:24:58 +0000
Subject: [PATCH] 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
---
 deal.II/doc/development/cmake.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 .
-- 
2.39.5