1 files changed, 0 insertions, 25 deletions
diff --git a/www/aws/files/patch-docs__gentexifile b/www/aws/files/patch-docs__gentexifile
deleted file mode 100644
index 60715044e77a..000000000000
--- a/www/aws/files/patch-docs__gentexifile
+++ /dev/null
@@ -1,25 +0,0 @@
---- docs/gentexifile.orig	2013-07-03 01:11:54.000000000 +0000
-+++ docs/gentexifile
-@@ -32,12 +32,7 @@ SOURCE=$1
- TARGET=`basename ${SOURCE}`.texi
- TMPTAR=${TARGET}.tmp
- 
--awk=`type gawk 2>/dev/null`
--if [ x"$awk" = x ]; then
--   awk="awk"
--else
--   awk="gawk"
--fi
-+awk=${AWK}
- 
- $awk 'BEGIN{out=1}$1=="end"&&substr($0,1,1)=="e"{out=1}out==1{print}$1=="private"&&$2!="with"&&out==1{out=0; print "   --  implementation removed"}' ${SOURCE} > genout
- 
-@@ -51,7 +46,7 @@ if [ $# = 1 ]; then
- echo "@group"            >>${TMPTAR}
- fi
- echo ""                  >>${TMPTAR}
--sed -f ada.sed genout    >>${TMPTAR}
-+sed -E -f ada.sed genout >>${TMPTAR}
- echo ""                  >>${TMPTAR}
- if [ $# = 1 ]; then
- echo "@end group"        >>${TMPTAR}