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