extract.sh 746 Bytes
Newer Older
1
#! /bin/sh
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
# 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
 
if [ -x /usr/bin/gawk ]; then
 gawk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
else
 if [ -x /usr/bin/nawk ]; then
  nawk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
 else
  if [ -x /usr/bin/awk ]; then
   awk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
  else 
   if [ -x /bin/awk ]; then
    awk -f extract.awk ../docs/gtk_tut.sgml $1 $2 $3 $4 $5
   else
    echo "Can't find awk... please edit extract.sh by hand"
   fi
  fi
 fi
fi