aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorVegard Øye <vegard_oye@hotmail.com>2011-03-29 19:17:16 +0200
committerVegard Øye <vegard_oye@hotmail.com>2011-03-29 19:17:16 +0200
commitbf316f1b67e56ff700da484f873b7ca7d72d15e8 (patch)
tree73935a84b9b006140db912ad665502062dd77b10 /Makefile
parent3da2e92cdfc8934e41fb6827bcdbed3e236f0b49 (diff)
Let "make indent" remove extraneous blank lines
Successive blank lines are replaced with a single line.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 93b5e6d..fc192c7 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,9 @@ indent: clean
(untabify (point-min) (point-max)) \
(indent-region (point-min) (point-max)) \
(delete-trailing-whitespace) \
+(goto-char (point-min)) \
+(while (re-search-forward \"\\n\\\\{3,\\\\}\" nil t) \
+(replace-match \"\\n\\n\")) \
(when (buffer-modified-p) (save-buffer 0))))"
test: compile tests