]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Improve docs (indentation targets) 11853/head
authorSimon, Dr. Konrad <konrad.simon@uni-hamburg.de>
Fri, 5 Mar 2021 17:46:16 +0000 (18:46 +0100)
committerKonrad Simon <konrad.simon@uni-hamburg.de>
Mon, 8 Mar 2021 17:14:29 +0000 (18:14 +0100)
doc/doxygen/headers/coding_conventions.h

index 1c0338c68cf391436642c3009409ea06d838b1b8..b665b35965b05241c0e92ecdcec9621d203a00ef 100644 (file)
@@ -56,6 +56,14 @@ pre-commit hook. One way to do so, is to copy
 <code>\${SOURCE_DIR}/contrib/git-hooks/pre-commit</code> to
 <code>\${SOURCE_DIR}/.git/hooks/pre-commit</code> and make sure it is
 executable.
+
+If the system you are working on has more than one version of
+<code>clang-format</code> installed (or if it is not in the path)
+you should replace the above <code>make indent</code> command with
+@code
+  make DEAL_II_CLANG_FORMAT=/path/to/clang-6.0/clang-format indent
+@endcode
+to point to the correct executable.
 </p>
 
 <h3>Style issues</h3>

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.