extman
资源名称:leda.tar.gz [点击查看]
上传用户:gzelex
上传日期:2007-01-07
资源大小:707k
文件大小:0k
源码类别:
数值算法/人工智能
开发平台:
MultiPlatform
- #!/bin/csh -f
- set f = `basename $1 .h`
- gawk -f /LEDA/SRC/man/extman.awk $f.h > extman.man