| --- a/Makefile.in | |
| +++ b/Makefile.in | |
| @@ -798,10 +798,8 @@ loadables: | |
| # $(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: | |