2 # extract - extract C source files from GTK Tutorial
3 # Copyright (C) Tony Gale 1998
4 # Contact: gale@gtk.org
6 # extract.awk command Switches:
7 # -c : Just do checking rather than output files
8 # -f <filename> : Extract a specific file
9 # -d : Extract files to current directory
11 if [ -x /usr/bin/gawk ]; then
12 gawk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
14 if [ -x /usr/bin/nawk ]; then
15 nawk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
17 if [ -x /usr/bin/awk ]; then
18 awk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
20 if [ -x /bin/awk ]; then
21 awk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
23 echo "Can't find awk... please edit extract.sh by hand"