Index: head/shells/bash1/files/patch-ad
===================================================================
--- head/shells/bash1/files/patch-ad	(revision 2249)
+++ head/shells/bash1/files/patch-ad	(revision 2250)
@@ -1,29 +1,30 @@
 *** 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,101 ----
+--- 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:

Property changes on: head/shells/bash1/files/patch-ad
___________________________________________________________________
Modified: cvs2svn:cvs-rev
## -1 +1 ##
-1.3
\ No newline at end of property
+1.4
\ No newline at end of property