From: Daniel Garcia-Sanchez Date: Thu, 9 Apr 2020 18:48:19 +0000 (+0200) Subject: Rename cmake.html and cmakelists.html X-Git-Tag: v9.2.0-rc1~247^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=40937923610916a0976be90f15df378af10df110;p=dealii.git Rename cmake.html and cmakelists.html Rename cmake.html and cmakelists.html to cmake_dealii.html and cmake_user.html --- diff --git a/doc/users/cmake.html b/doc/users/cmake_dealii.html similarity index 100% rename from doc/users/cmake.html rename to doc/users/cmake_dealii.html diff --git a/doc/users/cmakelists.html b/doc/users/cmake_user.html similarity index 100% rename from doc/users/cmakelists.html rename to doc/users/cmake_user.html