eda7f2d55b835d6c991f06eb8f8093feede15a50
[feed/packages.git] / utils / bash / patches / 900-no_doc.patch
1 --- a/Makefile.in
2 +++ b/Makefile.in
3 @@ -798,10 +798,8 @@ loadables:
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