docu

diff --git a/HACKING b/HACKING
index ecd9e6adb1b8769c3eea63d570173eb234dd7edb..82de084c9a2bbded2d36fa706d48a8881e108128 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -65,7 +65,7 @@ src/ directories:
 
 
 Coding style:
-- GNU guidelines apply
+- GNU guidelines generally apply
 - declare only one variable per line, so 
 
   int i;
@@ -74,6 +74,9 @@ Coding style:
   instead of
 
   int i,j;
+- Indentation should be done using the 'pre-commit' script in the top-level
+  directory using the patched (!) GNU indent.  See also the posting at
+  https://gnunet.org/gnunetindentation
 
 
 Build-system: