utils/bash/patches/129-no_doc.patch

   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
   4 @@ -724,10 +724,8 @@
   5  #      $(MAKE) -f $(srcdir)/Makefile $(MFLAGS) srcdir=$(srcdir)
   6
   7  doc documentation:  force
   8 -       @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) )
   9
  10  info dvi ps: force
  11 -       @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) CFLAGS='$(CCFLAGS)' $@ )
  12
  13  force:
  14