1 diff -urN bash-4.2/Makefile.in bash-4.2.new/Makefile.in
2 --- bash-4.2/Makefile.in 2010-12-01 01:22:42.000000000 +0100
3 +++ bash-4.2.new/Makefile.in 2012-07-30 16:24:01.325057998 +0200
5 # $(MAKE) -f $(srcdir)/Makefile $(MFLAGS) srcdir=$(srcdir)
7 doc documentation: force
8 - @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) )
11 - @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) CFLAGS='$(CCFLAGS)' $@ )