Index: TeXmacs-1.0.7.1-src/Makefile.in =================================================================== --- TeXmacs-1.0.7.1-src.orig/Makefile.in +++ TeXmacs-1.0.7.1-src/Makefile.in @@ -130,9 +130,7 @@ INSTALL: $(CP) $(tmdir)/bin/tm_gs $(DESTDIR)$(tmbin)/bin $(CP) $(tmdir)/plugins/*/bin/* $(DESTDIR)$(tmbin)/bin $(CP) $(tmdir)/plugins/*/lib/*.$(so) $(DESTDIR)$(tmbin)/lib 2>/dev/null || : - $(STRIP) $(DESTDIR)$(tmbin)/bin/texmacs.bin $(CP) $(tmdir)/lib/*.$(so) $(DESTDIR)$(tmbin)/lib 2>/dev/null || : - $(STRIP) $(DESTDIR)$(tmbin)/lib/*.$(so) 2>/dev/null || : $(CHMOD) 755 $(DESTDIR)$(tmbin)/bin/* $(CHMOD) 755 $(DESTDIR)$(tmbin)/lib/*.$(so) 2>/dev/null || : $(RM) $(DESTDIR)$(tmbin)/lib/*.a