top/maint.mk (indent): Run twice to produce idempotent results.

diff --git a/ChangeLog b/ChangeLog
index 65d06ef..db345d4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-29  Simon Josefsson  <simon@josefsson.org>
+
+       * top/maint.mk (indent): Run twice to produce idempotent results.
+
 2010-04-28  Bruno Haible  <bruno@clisp.org>
 
        getdate: Generate getdate.c in the source directory.

diff --git a/top/maint.mk b/top/maint.mk
index ed41389..6389c38 100644 (file)
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1127,10 +1127,12 @@ refresh-po:
        echo 'en@quot' >> $(PODIR)/LINGUAS && \
        ls $(PODIR)/*.po | sed 's/\.po//' | sed 's,$(PODIR)/,,' | sort >> $(PODIR)/LINGUAS
 
+ # Running indent once is not idempotent, but running it twice is.
 INDENT_SOURCES ?= $(C_SOURCES)
 .PHONY: indent
 indent:
        indent $(INDENT_SOURCES)
+       indent $(INDENT_SOURCES)
 
 # If you want to set UPDATE_COPYRIGHT_* environment variables,
 # put the assignments in this variable.