数值算法/人工智能

开发平台：

MultiPlatform

extmandir：源码内容

							#!/bin/csh -f
set source = ../incl/LEDA
rm -r -f extract
mkdir extract
foreach f ($source/*.h)
set t = `basename $f .h`.tex
echo "$t"
gawk -f extman.awk  $f > extract/$t
end

						