diff --git a/shells/bash/patches/patch-ad b/shells/bash/patches/patch-ad
new file mode 100644
index 00000000000..9b336ec9515
--- /dev/null
+++ b/shells/bash/patches/patch-ad
@@ -0,0 +1,11 @@
+--- documentation/Makefile.orig	Tue Jan 16 20:22:19 2001
++++ documentation/Makefile	Tue Jan 16 20:22:37 2001
+@@ -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