From 740a5e1a36891ece6794b7b3026f6bf70bd07201 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth 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 @@

ccmake and special build targets

A very convenient way to alter the configuration is to use the graphical - cli interface ccmake. It can be invoked via + user interface ccmake to the + variables cmake stores upon running. It can be invoked via
 
     ccmake .
-- 
2.39.5