]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update instructions on where to find the pre-commit git-hook. 8568/head
authorSimon Sticko <simon@sticko.se>
Wed, 14 Aug 2019 12:28:56 +0000 (14:28 +0200)
committerSimon Sticko <simon@sticko.se>
Wed, 14 Aug 2019 12:28:56 +0000 (14:28 +0200)
doc/doxygen/headers/coding_conventions.h

index 97c3249605afa041bfba9f69d91e814cb96a0c5b..81108d1902efca7721b7792db3af3511f26c2db6 100644 (file)
@@ -53,7 +53,7 @@ in whatever directory you set up the library to be compiled in, to indent all
 source files that have been changed recently. If you want to make sure that
 the indenting is correct for all your commits, you might want to set up a
 pre-commit hook. One way to do so, is to copy
-<code>\${SOURCE_DIR}/contrib/scripts/pre-commit-clang-format</code> to
+<code>\${SOURCE_DIR}/contrib/git-hooks/pre-commit</code> to
 <code>\${SOURCE_DIR}/.git/hooks/pre-commit</code> and make sure it is
 executable.
 </p>

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.