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 TUTORIAL=../docs/tutorial/gtk-tut.sgml
13 if [ -x /usr/bin/gawk ]; then
14 gawk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
16 if [ -x /usr/bin/nawk ]; then
17 nawk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
19 if [ -x /usr/bin/awk ]; then
20 awk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
22 if [ -x /bin/awk ]; then
23 awk -f extract.awk $TUTORIAL $1 $2 $3 $4 $5
25 echo "Can't find awk... please edit extract.sh by hand"