Remove unneded casts

[~andy/gtk] / examples / extract.sh

diff --git a/examples/extract.sh b/examples/extract.sh
index b19e19a2098f26ed9380f7b19adddcaf2a8db750..e7536a929f534ade54d95ab248bb1c2cbf67940a 100755 (executable)
--- a/examples/extract.sh
+++ b/examples/extract.sh
@@ -1,2 +1,30 @@
 #! /bin/sh
-awk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
+# extract - extract C source files from GTK Tutorial
+# Copyright (C) Tony Gale 1998
+# Contact: gale@gtk.org
+#
+# extract.awk command Switches:
+# -c : Just do checking rather than output files
+# -f <filename> : Extract a specific file
+# -d : Extract files to current directory
+
+TUTORIAL=../docs/tutorial/gtk-tut.sgml
+
+if [ -x /usr/bin/gawk ]; then
+ gawk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
+else
+ if [ -x /usr/bin/nawk ]; then
+  nawk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
+ else
+  if [ -x /usr/bin/awk ]; then
+   awk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
+  else 
+   if [ -x /bin/awk ]; then
+    awk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
+   else
+    echo "Can't find awk... please edit extract.sh by hand"
+   fi
+  fi
+ fi
+fi
+