From: David Wells <wellsd2@rpi.edu>
Date: Thu, 16 Jun 2016 02:10:48 +0000 (-0400)
Subject: Improve documentation of 'make indent'.
X-Git-Tag: v8.5.0-rc1~973^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b7918e581c5e2f5b8e9a782c6b4de3d6e595bd3;p=dealii.git

Improve documentation of 'make indent'.

This useful feature was added in 401f124203 (March 2016) but not
mentioned in the documentation at that time.
---

diff --git a/doc/doxygen/headers/coding_conventions.h b/doc/doxygen/headers/coding_conventions.h
index b816f84d1d..02ab55bf35 100644
--- a/doc/doxygen/headers/coding_conventions.h
+++ b/doc/doxygen/headers/coding_conventions.h
@@ -1,6 +1,6 @@
 // ---------------------------------------------------------------------
 //
-// Copyright (C) 1998 - 2015 by the deal.II authors
+// Copyright (C) 1998 - 2016 by the deal.II authors
 //
 // This file is part of the deal.II library.
 //
@@ -47,7 +47,16 @@ style file is provided at
 </pre>
 </code>
 on each of your files. This will make sure indentation is conforming to the
-style guidelines outlined in this page.</p>
+style guidelines outlined in this page. Alternatively, if you are using a recent
+version of the library, you can run
+<code>
+<pre>
+  make indent
+</pre>
+</code>
+in whatever directory you set up the library to be compiled in to indent all
+source files.
+</p>
 
 <h3>Style issues</h3>