oops, wasn't supposed to remove the whole patch. pointed out by: naddy@

2001-01-17 02:04:47 +00:00 · 2001-01-17 02:04:47 +00:00 · db893e0caf
commit db893e0caf
parent e6cf4b490b
1 changed files with 11 additions and 0 deletions
--- a/shells/bash/patches/patch-ad
+++ 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