diff --git a/gl/override/top/maint.mk.diff b/gl/override/top/maint.mk.diff
deleted file mode 100644
index b44951c92..000000000
--- a/gl/override/top/maint.mk.diff
+++ /dev/null
@@ -1,10 +0,0 @@
---- maint.mk.orig	2010-04-15 09:42:17.000000000 +0200
-+++ maint.mk	2010-04-15 09:42:32.000000000 +0200
-@@ -1099,6 +1099,7 @@
- .PHONY: indent
- indent:
- 	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.
diff --git a/maint.mk b/maint.mk
index e526e0fec..644fbb648 100644
--- a/maint.mk
+++ b/maint.mk
@@ -1185,7 +1185,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.