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