From: Simon, Dr. Konrad <konrad.simon@uni-hamburg.de>
Date: Fri, 5 Mar 2021 17:46:16 +0000 (+0100)
Subject: Improve docs (indentation targets)
X-Git-Tag: v9.3.0-rc1~363^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11853%2Fhead;p=dealii.git

Improve docs (indentation targets)
---

diff --git a/doc/doxygen/headers/coding_conventions.h b/doc/doxygen/headers/coding_conventions.h
index 1c0338c68c..b665b35965 100644
--- a/doc/doxygen/headers/coding_conventions.h
+++ b/doc/doxygen/headers/coding_conventions.h
@@ -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>