1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/indent b/scripts/indent
new file mode 100755
index 0000000..a763dd6
--- /dev/null
+++ b/scripts/indent
@@ -0,0 +1,13 @@
+#!/bin/bash
+# PUBLIC DOMAIN
+if [ -z "$1" ]; then
+    echo  usage: $0 file-to-indent file2 file3 ...
+    exit 1
+fi
+
+for i in $@; do
+    echo Loading $i
+    emacs --batch --load ../Documentation/hkl-default.el --file $i \
+	-f c-mode --eval "(indent-region (point-min) (point-max) nil)" -f save-buffer
+done
+