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

MultiPlatform

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