Update gnulib files.

diff --git a/maint.mk b/maint.mk
index a3b6451fd61b7794be8488d2cf1548a79d63bf4e..315b22317e5a2dab8ad583d009ae4e7c7583111e 100644 (file)
--- a/maint.mk
+++ b/maint.mk
@@ -1210,7 +1210,6 @@ INDENT_SOURCES ?= $(C_SOURCES)
 indent:
        indent $(INDENT_SOURCES)
        indent $(INDENT_SOURCES)
-       indent $(INDENT_SOURCES) # Ident is not idempotent!
 
 # If you want to set UPDATE_COPYRIGHT_* environment variables,
 # put the assignments in this variable.