*** documentation/Makefile.orig	Sun Jun 11 22:45:55 1995
--- documentation/Makefile	Wed Jul 19 20:35:38 1995
***************
*** 90,101 ****
  
  installdirs:
  	-[ -d $(mandir) ] || mkdir $(mandir)
! 	-[ -d $(man3dir) ] || mkdir $(man3dir)
  	-[ -d $(infodir) ] || mkdir $(infodir)
  
  install: all installdirs
  	$(INSTALL_DATA) bash.1 $(mandir)
! 	$(INSTALL_DATA) readline.3 $(man3dir)
  	$(INSTALL_DATA) features.info $(infodir)/bash.info
  
  uninstall:
--- 90,102 ----
  
  installdirs:
  	-[ -d $(mandir) ] || mkdir $(mandir)
! #       -[ -d $(man3dir) ] || mkdir $(man3dir)
  	-[ -d $(infodir) ] || mkdir $(infodir)
  
  install: all installdirs
  	$(INSTALL_DATA) bash.1 $(mandir)
! 	$(INSTALL_DATA) builtins.1 $(mandir)/bash_builtins.1
! #       $(INSTALL_DATA) readline.3 $(man3dir)
  	$(INSTALL_DATA) features.info $(infodir)/bash.info
  
  uninstall: