*** empty log message ***

12 files changed, 19 insertions, 17 deletions

diff --git a/bin/README.html b/bin/README.html
index 303b51be5f3..b281fbc680e 100644
--- a/bin/README.html
+++ b/bin/README.html
@@ -77,7 +77,7 @@ identifying line. <P>
 <LI> added the ability for handling template functions properly (info2src). <P>
 
 <LI> added the ability for handling nested classes, structs, unions properly
-  by introducing nawk-function recursion within info2doc (class2info, 
+  by introducing gawk-function recursion within info2doc (class2info, 
   info2doc, info2src). <P>
 
 <LI> added the ability for handling default values properly (info2src). <P>
diff --git a/bin/class2info b/bin/class2info
index 9498d8ab39e..6a3300fbb7e 100755
--- a/bin/class2info
+++ b/bin/class2info
@@ -29,9 +29,9 @@ LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
 INFO2INFO="$BINDIR/info2info"
 
-AWK="nawk"
+AWK="gawk"
 
-if test "$AWK" = "nawk"
+if test "$AWK" = "gawk"
 then
   VARG="-v"
 fi
diff --git a/bin/class2info.awk b/bin/class2info.awk
index 1810a8f3e0c..b2f58ce736d 100644
--- a/bin/class2info.awk
+++ b/bin/class2info.awk
@@ -2,7 +2,7 @@
 #
 # = DESCRIPTION
 #     Awk script for converting C++ class header file to classinfo file.
-#     Requires nawk or gawk.
+#     Requires gawk or gawk.
 #     comments like /*  ... */ with ... goes over multiple lines are not ok
 #		and will be not printed as comments!
 #     class xxx
diff --git a/bin/info2doc.awk b/bin/info2doc.awk
index de2016e83fb..6e0451fef3f 100755
--- a/bin/info2doc.awk
+++ b/bin/info2doc.awk
@@ -325,6 +325,7 @@ function csa_get_filedate_and_name()
 #
 function csa_get_()
 {
+  ;
 }
 
 #
diff --git a/bin/info2head b/bin/info2head
index 7a5510efacf..15ee9ae0f1e 100755
--- a/bin/info2head
+++ b/bin/info2head
@@ -29,10 +29,10 @@ export OSE_VERSION_ROOT
 BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin"
 LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
-AWK="${AWK-nawk}"
+AWK="${AWK-gawk}"
 
 
-if test "$AWK" = "nawk"
+if test "$AWK" = "gawk"
 then
   VARG="-v"
 fi
diff --git a/bin/info2headsrc b/bin/info2headsrc
index 00fbf23465d..9b6bfcfcf77 100755
--- a/bin/info2headsrc
+++ b/bin/info2headsrc
@@ -25,10 +25,10 @@ export OSE_VERSION_ROOT
 BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin"
 LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
-AWK="${AWK-nawk}"
+AWK="${AWK-gawk}"
 
 
-if test "$AWK" = "nawk"
+if test "$AWK" = "gawk"
 then
   VARG="-v"
 fi
diff --git a/bin/info2man b/bin/info2man
index 437865759bc..e38551c68ff 100755
--- a/bin/info2man
+++ b/bin/info2man
@@ -29,9 +29,9 @@ export OSE_VERSION_ROOT
 BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin"
 LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
-AWK="${AWK-nawk}"
+AWK="${AWK-gawk}"
 
-if test "$AWK" = "nawk"
+if test "$AWK" = "gawk"
 then
   VARG="-v"
 fi
diff --git a/bin/info2mml b/bin/info2mml
index 83654da9649..d38ac0f814a 100755
--- a/bin/info2mml
+++ b/bin/info2mml
@@ -29,9 +29,9 @@ export OSE_VERSION_ROOT
 BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin"
 LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
-AWK="${AWK-nawk}"
+AWK="${AWK-gawk}"
 
-if test "$AWK" = "nawk"
+if test "$AWK" = "gawk"
 then
   VARG="-v"
 fi
diff --git a/bin/info2src b/bin/info2src
index 32853990b52..c165b336341 100755
--- a/bin/info2src
+++ b/bin/info2src
@@ -27,7 +27,7 @@ export OSE_VERSION_ROOT
 BINDIR="$OSE_VERSION_ROOT/$OSE_HOST/bin"
 LIBDIR=${CLASSINFOLIBDIR-"$OSE_VERSION_ROOT/bin"}
 
-AWK="nawk"
+AWK="gawk"
 
 #
 # Error.
diff --git a/bin/man2html b/bin/man2html
index b784b44501e..e2b51561270 100755
--- a/bin/man2html
+++ b/bin/man2html
@@ -63,7 +63,7 @@ do
 	     -e 's/>/\&gt;/g' \
 	     -e 's/\\|//g' \
 	     -e 's/\\e/\\/g'     |
-	/bin/nawk -f ${LIBDIR}/man2html1.awk | 
+	gawk -f ${LIBDIR}/man2html1.awk | 
 	 sed -e 's^\\fB\([^\\]*\)\\fR^<B>\1</B></I>^g' \
 	    -e 's^\\f(CO\(.[^\\]*\)\\fR^<CODE>\1</CODE>^g' \
 	    -e 's^\\fI\(.[^\\]*\)\\fR^<I>\1</I></B>^g' \
@@ -80,9 +80,10 @@ do
 	    -e 's$^\.BE *$</pre><HR>$' \
 	    -e 's/^\.RS.*/<UL>/' \
 	    -e 's$^\.RE.*$</UL>$' \
+	    -e 's/^$/<P>/g' \
 	    -e 's^\.SH *"*\([^"]*\)"*^</pre><H2>\1</H2>^' \
 	    -e '/^\.[a-zA-Z]*.*/d'	|
-	/bin/nawk -f ${LIBDIR}/man2html2.awk > ${OUTPUT}
+	gawk -f ${LIBDIR}/man2html2.awk > ${OUTPUT}
   fi
   shift
 done
diff --git a/bin/man2html1.awk b/bin/man2html1.awk
index a780ab70c9f..a3546ee1378 100644
--- a/bin/man2html1.awk
+++ b/bin/man2html1.awk
@@ -1,4 +1,4 @@
-#!/bin/nawk
+#!/usr/bin/gawk
 
 
 # defining macros - eat them 
diff --git a/bin/man2html2.awk b/bin/man2html2.awk
index 31c4cece3b9..149c939ce18 100644
--- a/bin/man2html2.awk
+++ b/bin/man2html2.awk
@@ -1,4 +1,4 @@
-#!/bin/nawk
+#!/usr/bin/gawk
 
 $0 ~ "</pre><H2>SEE ALSO</H2>" {
   print $0