File TeXmacs-makefile.patch of Package TeXmacs

--- Makefile.in
+++ Makefile.in
@@ -27,7 +27,7 @@
 MV = mv -f
 LN = ln -f
 CHMOD = @CONFIG_CHMOD@
-GZIP = gzip -f
+MGZIP = gzip -f
 STRIP = @CONFIG_STRIP@
 TOUCH = touch
 
@@ -166,8 +166,8 @@
 	$(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)