File TeXmacs-makefile.patch of Package TeXmacs

Index: Makefile.in
===================================================================
--- Makefile.in.orig	2010-10-22 21:38:21.000000000 +0200
+++ Makefile.in	2010-10-28 12:44:39.353242943 +0200
@@ -32,7 +32,7 @@ CP = cp -r -f
 MV = mv -f
 LN = ln -f
 CHMOD = @CONFIG_CHMOD@
-GZIP = gzip -f
+MGZIP = gzip -f
 STRIP = @CONFIG_STRIP@
 TOUCH = touch
 
@@ -174,8 +174,8 @@ INSTALL:
 	$(MKDIR) $(DESTDIR)$(mandir)/man1
 	$(CP) misc/man/fig2ps.1 $(DESTDIR)$(mandir)/man1
 	$(CP) misc/man/texmacs.1 $(DESTDIR)$(mandir)/man1
-	$(GZIP) $(DESTDIR)$(mandir)/man1/fig2ps.1
-	$(GZIP) $(DESTDIR)$(mandir)/man1/texmacs.1
+	$(MGZIP) $(DESTDIR)$(mandir)/man1/fig2ps.1
+	$(MGZIP) $(DESTDIR)$(mandir)/man1/texmacs.1
 	$(CHMOD) go=rX $(DESTDIR)$(mandir)/man1/fig2ps.1.gz
 	$(CHMOD) go=rX $(DESTDIR)$(mandir)/man1/texmacs.1.gz
 	@echo installed TeXmacs manual pages in $(DESTDIR)$(mandir)