2014-08-09 01:53:11 +08:00
|
|
|
--- a/Makefile.in
|
|
|
|
|
+++ b/Makefile.in
|
2019-01-13 07:14:23 +08:00
|
|
|
@@ -791,10 +791,8 @@ loadables:
|
2014-08-09 01:43:37 +08:00
|
|
|
# $(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:
|
|
|
|
|
|
