--- 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:
 
