--- documentation/Makefile.orig	Sun Jun 11 14:45:55 1995
+++ documentation/Makefile	Thu Nov 25 17:18:34 1999
@@ -49,7 +49,7 @@
 	$(RM) $@
 	${NROFF} -man $< > $@
 
-all: ps info dvi text
+all: info # ps dvi text
 
 ps: bash.ps readline.ps article.ps
 dvi: features.dvi features.ps 
@@ -90,12 +90,13 @@
 
 installdirs:
 	-[ -d $(mandir) ] || mkdir $(mandir)
-	-[ -d $(man3dir) ] || mkdir $(man3dir)
+#       -[ -d $(man3dir) ] || mkdir $(man3dir)
 	-[ -d $(infodir) ] || mkdir $(infodir)
 
 install: all installdirs
 	$(INSTALL_DATA) bash.1 $(mandir)
-	$(INSTALL_DATA) readline.3 $(man3dir)
+	$(INSTALL_DATA) builtins.1 $(mandir)/bash_builtins.1
+#       $(INSTALL_DATA) readline.3 $(man3dir)
 	$(INSTALL_DATA) features.info $(infodir)/bash.info
 
 uninstall: