utils/bash/patches/900-no_doc.patch

   1 --- a/Makefile.in
   2 +++ b/Makefile.in
   3 @@ -741,10 +741,8 @@ reconfig: force
   4  #      $(MAKE) -f $(srcdir)/Makefile $(MFLAGS) srcdir=$(srcdir)
   5
   6  doc documentation:  force
   7 -       @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) )
   8
   9  info dvi ps: force
  10 -       @(cd $(DOCDIR) ; $(MAKE) $(MFLAGS) CFLAGS='$(CCFLAGS)' $@ )
  11
  12  force:
  13