extmandir
Upload User: gzelex
Upload Date: 2007-01-07
Package Size: 707k
Code Size: 0k
Development Platform:

MultiPlatform

  1. #!/bin/csh -f
  2. set source = ../incl/LEDA
  3. rm -r -f extract
  4. mkdir extract
  5. foreach f ($source/*.h)
  6. set t = `basename $f .h`.tex
  7. echo "$t"
  8. gawk -f extman.awk  $f > extract/$t
  9. end