*** documentation/Makefile.orig	Mon Jun 12 03:45:55 1995
--- documentation/Makefile	Mon Jun 16 19:30:13 1997
***************
*** 49,55 ****
  	$(RM) $@
  	${NROFF} -man $< > $@
  
! all: ps info dvi text
  
  ps: bash.ps readline.ps article.ps
  dvi: features.dvi features.ps 
--- 49,55 ----
  	$(RM) $@
  	${NROFF} -man $< > $@
  
! all: info # ps dvi text
  
  ps: bash.ps readline.ps article.ps
  dvi: features.dvi features.ps 
***************
*** 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: