extmanfile
上传用户:gzelex
上传日期:2007-01-07
资源大小:707k
文件大小:0k
开发平台:

MultiPlatform

  1. #!/bin/csh -f
  2. set f = `basename $1 .h`
  3. gawk -f extman.awk /LEDA/SRC/incl/LEDA/$f.h > /LEDA/SRC/man/extract/$f.tex