--- Makefile.in.orig 2014-05-14 03:21:21.000000000 -0500 +++ Makefile.in 2015-03-29 21:04:16.000000000 -0500 @@ -111,7 +111,7 @@ plugins/%/COMPILE: $(MKDIR) plugins/$*/bin - cd plugins/$*; $(MAKE) -i -f Makefile CC="@CC@" CXX="@CXX@" + cd plugins/$*; $(MAKE) -i -f Makefile CC="@CC@" CFLAGS="@CFLAGS@" CPPFLAGS="@CPPFLAGS@" CXX="@CXX@" CXXFLAGS="@CXXFLAGS@" plugins/%/CLEAN: cd plugins/$*; $(MAKE) -i -f Makefile clean @@ -183,7 +183,6 @@ $(MKDIR) $(DESTDIR)$(datadir)/mime $(MKDIR) $(DESTDIR)$(datadir)/mime/packages $(CP) $(tmdir)/misc/mime/texmacs.xml $(DESTDIR)$(datadir)/mime/packages - @update-mime-database $(DESTDIR)$(datadir)/mime/ 2>/dev/null || : $(MKDIR) $(DESTDIR)$(datadir)/pixmaps $(CP) $(tmdir)/misc/pixmaps/TeXmacs.xpm $(DESTDIR)$(datadir)/pixmaps $(MKDIR) $(DESTDIR)$(datadir)/icons