#!/bin/csh -f
if ($1 == "") then
  set source = $LEDAROOT/incl/LEDA
  set ext = h
else 
  set source = $1
  if ($2 == "") then
    set ext = h
  else
    set ext = $2
  endif
endif

\rm -r -f extract

mkdir extract

echo Extracting manual pages ...
echo " "

foreach f ($source/*.$ext)
   echo $f
   lextract $f  extract/`basename $f .$ext`.tex | grep -v "reading input"
end


