+# Run this script to indent the GNUnet code. When run without arguments,
+# it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the
+# src/XXX directory.
+if test $# = 0
+then
+ PATHS=src/
+else
+ PATHS="$@"
+fi
+find $PATHS -name "*.c" -exec indent {} \;
+find $PATHS -name "*.h" -exec indent {} \;
+find $PATHS -name "*.c" -exec indent {} \;
+find $PATHS -name "*.h" -exec indent {} \;
+find $PATHS -name "*.c" -exec contrib/removetrailingwhitespace {} \;
+find $PATHS -name "*.h" -exec contrib/removetrailingwhitespace {} \;