blob: 60715044e77a5222d93aa76e2ebb2d84e21a3e30 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
--- 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}
|
