summaryrefslogtreecommitdiff
path: root/gl
diff options
context:
space:
mode:
authorSimon Josefsson <simon@josefsson.org>2010-04-15 09:47:01 +0200
committerSimon Josefsson <simon@josefsson.org>2010-04-15 09:47:01 +0200
commit51cbcfd76b83ed429aaa4bfa9ab8a998628f1293 (patch)
treeef71f538e8487073af77732ca4297f56f5ed0c68 /gl
parent0370552e6a134d9872b3173451cc270f9ef6cf4f (diff)
downloadgnutls-51cbcfd76b83ed429aaa4bfa9ab8a998628f1293.tar.gz
Update gnulib files.
Diffstat (limited to 'gl')
-rw-r--r--gl/override/top/maint.mk.diff10
1 files changed, 10 insertions, 0 deletions
diff --git a/gl/override/top/maint.mk.diff b/gl/override/top/maint.mk.diff
new file mode 100644
index 0000000000..b44951c923
--- /dev/null
+++ b/gl/override/top/maint.mk.diff
@@ -0,0 +1,10 @@
+--- 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.