diff -rupN scotch_6.0.6/src/Makefile scotch_6.0.6-new/src/Makefile --- scotch_6.0.6/src/Makefile 2018-07-14 17:24:49.000000000 +0200 +++ scotch_6.0.6-new/src/Makefile 2019-05-20 13:38:16.054735319 +0200 @@ -122,6 +122,8 @@ install : required $(bindir) $(includ -$(CP) -f ../include/*scotch*.h $(includedir) -$(CP) -f ../lib/*esmumps*$(LIB) $(libdir) -$(CP) -f ../lib/*scotch*$(LIB) $(libdir) + -$(CP) -f ../include/*esmumps*.h $(includedir) + -$(CP) -f ../lib/*esmumps*$(LIB) $(libdir) -$(CP) -Rf ../man/* $(mandir) clean : required