[gedit] Overwrite gzipped tag files



commit 09a7a70fa2122343f5883b3d065494949f44f5cc
Author: Paolo Borelli <pborelli gnome org>
Date:   Sun Aug 16 13:14:24 2009 +0200

    Overwrite gzipped tag files

 plugins/taglist/Makefile.am |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/taglist/Makefile.am b/plugins/taglist/Makefile.am
index ba606d1..b04f458 100644
--- a/plugins/taglist/Makefile.am
+++ b/plugins/taglist/Makefile.am
@@ -39,7 +39,7 @@ GZIP_ENV = -9
 
 %.tags.gz: %.tags.xml.in $(INTLTOOL_MERGE) $(wildcard $(top_srcdir)/po/*.po)
 	LC_ALL=C $(INTLTOOL_MERGE) $(top_srcdir)/po $< $(@:.gz=) -x -u -c $(top_builddir)/po/.intltool-merge-cache
-	GZIP=$(GZIP_ENV) gzip $(@:.gz=)
+	GZIP=$(GZIP_ENV) gzip -f $(@:.gz=)
 
 plugin_DATA = $(plugin_in_files:.gedit-plugin.desktop.in=.gedit-plugin)
 



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]