From cc99b1c881a4f77289807de10b3050f21bc0cc81 Mon Sep 17 00:00:00 2001
From: "Simon, Dr. Konrad" <konrad.simon@uni-hamburg.de>
Date: Fri, 5 Mar 2021 18:46:16 +0100
Subject: [PATCH] Improve docs (indentation targets)

---
 doc/doxygen/headers/coding_conventions.h | 8 ++++++++
 1 file changed, 8 insertions(+)

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>
-- 
2.39.5