From f0781605fefe17257ac44de765b83f0a1aea7215 Mon Sep 17 00:00:00 2001 From: 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