1 files changed, 7 insertions, 2 deletions
diff --git a/pre-commit.sh b/pre-commit.sh
index 2c213bd..6841365 100755
--- a/pre-commit.sh
+++ b/pre-commit.sh
@@ -1,6 +1,11 @@
 #!/bin/sh
 if sed --version | grep -q 'GNU sed'; then
-	# Remove trailing white space
-	sed -i 's/\s\s*$//' pom.c pom.h
+	for file in pom.c pom.h; do
+		# Remove trailing white space
+		# (But only if file actually has trailing white space
+		#  we don't want to mess up last-modified-times otherwise)
+		grep -q '\s\s*$' $file && sed -i 's/\s\s*$//' $file
+	done
 fi
+which doxygen >/dev/null 2>/dev/null && { doxygen || exit 1; }
 git add -u