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

MultiPlatform

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